diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-06 18:01:56 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-07 12:03:08 +0200 |
| commit | ba921a5474e30912ebfc0417e5336507f345ed16 (patch) | |
| tree | 91c213e12a980fb45a290aa6ea8e22e29c5b2341 /doc/invocations-http-server | |
| parent | 9ec26122b70e2653481833eb13a006a8fdeddc74 (diff) | |
| download | justbuild-ba921a5474e30912ebfc0417e5336507f345ed16.tar.gz | |
Invocation server: also mention the number of artifacts
... in the summary, so that the user knows what to expect when
looking into the details-environment.
Diffstat (limited to 'doc/invocations-http-server')
| -rwxr-xr-x | doc/invocations-http-server/server.py | 1 | ||||
| -rw-r--r-- | doc/invocations-http-server/templates/invocation.html | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/doc/invocations-http-server/server.py b/doc/invocations-http-server/server.py index 8c7e70ea..83df3fd1 100755 --- a/doc/invocations-http-server/server.py +++ b/doc/invocations-http-server/server.py @@ -250,6 +250,7 @@ class InvocationServer: "type": "tree" if v["file_type"] == "t" else "blob", }) params["artifacts"] = output_artifacts + params["artifacts_count"] = len(output_artifacts) def action_data(name, profile_value): data = { "name_prefix": "", diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html index 8a59cbd7..73858979 100644 --- a/doc/invocations-http-server/templates/invocation.html +++ b/doc/invocations-http-server/templates/invocation.html @@ -99,7 +99,7 @@ Inocations {{invocation | e}} {% if artifacts %} <li> <details> - <summary>artifacts</summary> + <summary>{{ artifacts_count | e }} artifacts</summary> <ul> {% for entry in artifacts %} <li> |