diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-13 16:29:31 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-13 16:36:17 +0200 |
| commit | 7d982911f7f46526add1f1ea3dde5b5f701834f5 (patch) | |
| tree | ba27af411ce90936315702c17e95e5f0ddc8149f /doc | |
| parent | 8f14cdd6cacf3652de77f527eea3d5efca5cca62 (diff) | |
| download | justbuild-7d982911f7f46526add1f1ea3dde5b5f701834f5.tar.gz | |
Invocation server: include commandline when describing actions
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/invocations-http-server/server.py | 2 | ||||
| -rw-r--r-- | doc/invocations-http-server/templates/invocation.html | 8 |
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> |