Invocation server: include commandline when describing actions

2 files changed, 10 insertions, 0 deletions

diff --git a/doc/invocations-http-server/server.py b/doc/invocations-http-server/server.py
index d1791c16..78a6e0ec 100755
--- a/doc/invocations-http-server/server.py
+++ b/doc/invocations-http-server/server.py
@@ -396,6 +396,8 @@ class InvocationServer:
             duration = profile_value.get('duration', 0.0)
             data["duration"] = '%0.3fs' % (duration,) if duration > 0 else None
             desc = graph.get('actions', {}).get(name, {})
+            cmd = desc.get('command', [])
+            data["cmd"] = json.dumps(cmd) if cmd else None
             data["may_fail"] = desc.get("may_fail")
             data["stdout"] = profile_value.get('stdout')
             data["stderr"] = profile_value.get('stderr')
diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html
index 2ebebb86..04549b2e 100644
--- a/doc/invocations-http-server/templates/invocation.html
+++ b/doc/invocations-http-server/templates/invocation.html
@@ -29,6 +29,14 @@ Inocations {{invocation | e}}
       {% if action["stderr"] %}
       <li> stderr: <a href="/blob/{{ action["stderr"] | e }}">{{action["stderr"] | e }}</a></li>
       {% endif %}
+      {% if action["cmd"] %}
+      <li>
+        <details>
+          <summary>command</summary>
+          <tt>{{ action["cmd"] | e }}</tt>
+        </details>
+      </li>
+      {% endif %}
       {% if action["origins"] %}
       <li> origins
         <ul>