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/ui/badges.html
Permissions: -rw-r--r--
{% if not check.success %} <span class="uk-badge uk-badge-unknown uk-text-large" title="checking failed">?
</span> {% elif check.errors or check.warnings %} <span class="uk-badge uk-badge-danger uk-text-large" title="{{ locale.translate('{} error', '{} errors', check.errors).format(check.errors) }}"> <span class="uk-badge uk-badge-warning uk-text-large" title="{{ locale.translate('{} warning', '{} warnings', check.warnings).format(check.warnings) }}"> <span class="uk-badge uk-badge-success uk-text-large" title="no lint found">OK
</span>