Integrate task runner into python tools

python-tools/templates/run.html

@@ -0,0 +1,29 @@
+{% extends "base.html" %}
+{% block title %}Run {{ run.id }} · Server Maintenance{% endblock %}
+{% block content %}
+  <p><a href="{{ url_for('index') }}">← Tasks</a></p>
+  <h1>{{ run.target_kind|title }} run #{{ run.id }}</h1>
+  <dl>
+    <dt>Target</dt><dd>{{ run.target_path }}</dd>
+    <dt>Status</dt><dd id="run-status" data-state-url="{{ url_for('run_state', run_id=run.id) }}">{{ run.status }}</dd>
+    <dt>Started</dt><dd>{{ run.started_at|timestamp }}</dd>
+    <dt>Finished</dt><dd>{{ run.finished_at|timestamp }}</dd>
+    <dt>Exit code</dt><dd>{{ run.exit_code if run.exit_code is not none else "—" }}</dd>
+    {% if run.message %}<dt>Message</dt><dd>{{ run.message }}</dd>{% endif %}
+  </dl>
+  {% if run.status in ("queued", "running") %}
+    <form method="post" action="{{ url_for('cancel_run', run_id=run.id) }}">
+      <button type="submit">Cancel</button>
+    </form>
+  {% endif %}
+  {% if children %}
+    <h2>Group tasks</h2>
+    <ul>
+      {% for child in children %}
+        <li><a href="{{ url_for('run_detail', run_id=child.id) }}">{{ child.target_path }}</a> · {{ child.status }}</li>
+      {% endfor %}
+    </ul>
+  {% endif %}
+  <h2>Output</h2>
+  <pre id="run-output" data-output-url="{{ url_for('run_output', run_id=run.id) }}"></pre>
+{% endblock %}