Improvements in web-launch mode
Created by: PavelAndrianov
Right now the mode is difficult to use, because of two main disadvantages.
- Absence of any status. After 10 minutes one has to ask an admin about the solving job, if it was failed.
- Complicated preparation of a new verifier. One has to apply all patches. So, I can not just get a CPAchecker, I have to commit a revision and then run a script. In this case, I think, a server may be done it itself. For example, I will not upload a verifier archive, but just specify a new revision of verifier. Any comments are welcome.