diff options
Diffstat (limited to 'web/templates/run.html')
| -rw-r--r-- | web/templates/run.html | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/web/templates/run.html b/web/templates/run.html new file mode 100644 index 0000000..77f9f90 --- /dev/null +++ b/web/templates/run.html @@ -0,0 +1,19 @@ +{% extends "base.html" %} {% block title %}/{{ project_path }}/{{ run_number +}}{% endblock %} {% block path %}/<a href="/{{ project_path }}" + >{{ project_path }}</a +>/<a href="/{{ project_path }}/{{ run_number }}">{{ run_number }}</a>{% endblock +%} {% block content %} +<pre + id="stdout" + style="white-space: pre-wrap" +></pre> + +{% for n in run %} +<script> + document.getElementById('stdout').textContent = {{ n|tojson }}; + var s = document.currentScript; + s.parentNode.removeChild(s); +</script> +{% endfor %} {% endblock %} + +<!-- vim: set filetype=jinja: --> |