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.

previous change 24:16c6f6907c16

templates/ui/badges.html

Permissions: -rw-r--r--

Other formats: Feeds:
{% if not check.success %}
<span class="uk-badge uk-badge-unknown uk-text-large" title="checking failed">?</span>
{% elif check.errors or check.warnings %}
{% if check.errors %}
<span class="uk-badge uk-badge-danger uk-text-large"
title="{{ locale.translate('{} error', '{} errors', check.errors).format(check.errors) }}">
{{ check.errors }}
</span>
{% end %}
{% if check.warnings %}
<span class="uk-badge uk-badge-warning uk-text-large"
title="{{ locale.translate('{} warning', '{} warnings', check.warnings).format(check.warnings) }}">
{{ check.warnings }}
</span>
{% end %}
{% else %}
<span class="uk-badge uk-badge-success uk-text-large" title="no lint found">OK</span>
{% end %}