53:ed7f35f52927
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.

/templates/

.. drwxr-xr-x
ui/ drwxr-xr-x files
404.html 305 -rw-r--r-- file | revisions | annotate
500.html 305 -rw-r--r-- file | revisions | annotate
base.html 1870 -rw-r--r-- file | revisions | annotate
check.html 1839 -rw-r--r-- file | revisions | annotate
index.html 955 -rw-r--r-- file | revisions | annotate
project.html 1341 -rw-r--r-- file | revisions | annotate
status.svg 970 -rw-r--r-- file | revisions | annotate