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.

next change 68:58a9dddf8731
previous change 47:5633f9a8dc95

templates/check.html

Permissions: -rw-r--r--

Other formats: Feeds:
{% extends "base.html" %}
{% block title %}Check #{{ check.ordinal }}{% end %}
{% block content %}
<div class="uk-container uk-container-center uk-margin-large-top">
<h2>
<a href="{{ project.get_url() }}">{{ project.get_title() }}</a>:
check #{{ check.ordinal }}
</h2>
<p>
{% if check.success %}
{{ locale.translate('{} error', '{} errors', check.errors).format(check.errors) }},
{{ locale.translate('{} warning', '{} warnings', check.warnings).format(check.warnings) }}
{% else %}
Job failed.
{% end %}
</p>
<div class="uk-grid">
<div class="uk-width-medium-1-3">
<dl class="uk-description-list-horizontal list-terse">
<dt>Started:</dt>
<dd>{% module Time(check.started) %}</dd>
<dt>Finished:</dt>
<dd>{% module Time(check.finished) %}</dd>
<dt>Duration:</dt>
<dd>{{ check.get_duration() }}</dd>
</dl>
</div>
<div class="uk-width-medium-2-3">
<dl class="uk-description-list-horizontal list-terse">
{% set change = check.change %}
<dt>Commit:</dt>
<dd>{{ change.rev }}:{{ change.node[:12] }} {{ change.branch }}</dd>
<dt>Author:</dt>
<dd>{{ change.author }}</dd>
<dt>Date:</dt>
<dd><time>{{ change.date }}</time></dd>
<dt>Description:</dt>
<dd>{{ change.message }}</dd>
</dl>
</div>
</div>
<pre class="check-log">{#
#}{% for number, line in enumerate(lines, 1) %}{#
#}<div id="l{{ number }}"{% if 'cls' in line %} class="{{ line['cls'] }}"{% end %}>{#
#}<a href="#l{{ number }}" class="lineno" data-line-number="{{ number }}"></a>{#
#}{{ line['text'] }}{#
#}</div>{#
#}{% end %}{#
#}</pre>
</div>
{% end %}