blob: 92d78433ca1a3e37038b2ce83d10370fb8bededd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{% 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>
if (document.getElementById('stdout').textContent !== {{ n|tojson }}) {
document.getElementById('stdout').textContent = {{ n|tojson }};
window.scrollTo({ left: 0, top: document.body.scrollHeight, behavior: "smooth" });
}
var s = document.currentScript;
s.parentNode.removeChild(s);
</script>
{% endfor %} {% endblock %}
<!-- vim: set filetype=jinja: -->
|
