Anton Shestakov <av6@dwimlabs.net>, Thu, 23 Jun 2016 14:58:09 +0800
checker: try and catch exceptions from execute() and somewhat finish the job
Exceptions coming from execute() are programming errors in checker.py, but jobs
still need to tell that they are finished (and failed) to be processed by
incoming.py.
..
|
|
drwxr-xr-x |
|
main.css
|
935 |
-rw-r--r-- |
file |
revisions |
annotate
|