Add simple http server allowing to browse an invocation-log directory

Being able to browse through past invocations of the build tool can
actually be useful and doing so in the browser is a way many users
prefer. Therefore, add a small WSGI application (written in python,
using werkzeug and jinja) serving a directory of invocation logs
via http.

1 files changed, 10 insertions, 0 deletions

diff --git a/doc/invocations-http-server/templates/blob.html b/doc/invocations-http-server/templates/blob.html
new file mode 100644
index 00000000..2a64d064
--- /dev/null
+++ b/doc/invocations-http-server/templates/blob.html
@@ -0,0 +1,10 @@
+{% extends "base.html" %}
+{% block heading %}
+Blob {{ name | e }}
+{% endblock %}
+
+{% block content %}
+<h1>Blob {{ name | e }}</h1>
+
+<pre>{{ data | e}}</pre>
+{% endblock %}