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.

/

candolint/ drwxr-xr-x files
static/ drwxr-xr-x files
templates/ drwxr-xr-x files
tests/ drwxr-xr-x files
.hgignore 56 -rw-r--r-- file | revisions | annotate
LICENSE 1059 -rw-r--r-- file | revisions | annotate
checker.py 3523 -rwxr-xr-x file | revisions | annotate
dev-requirements.txt 26 -rw-r--r-- file | revisions | annotate
incoming.py 5013 -rwxr-xr-x file | revisions | annotate
requirements.txt 40 -rw-r--r-- file | revisions | annotate
run-tests.py 144 -rwxr-xr-x file | revisions | annotate
viewer.py 5817 -rwxr-xr-x file | revisions | annotate