diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-21 10:09:05 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-21 10:09:05 +0200 |
| commit | 50c4a0011da398f9b57cfab46f96a38e2b5b22ad (patch) | |
| tree | 5136465a112a4b34da1f7daf53c4b832ccae973a /doc | |
| parent | fabb8f90506c1a09dd0cc3776f6a8eaa66036568 (diff) | |
| download | justbuild-50c4a0011da398f9b57cfab46f96a38e2b5b22ad.tar.gz | |
invocation server: fix download links
... to include only the basename of the requested artifact.
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/invocations-http-server/server.py | 2 | ||||
| -rw-r--r-- | doc/invocations-http-server/templates/macros.html | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/invocations-http-server/server.py b/doc/invocations-http-server/server.py index 2ea1bfda..5cf06539 100755 --- a/doc/invocations-http-server/server.py +++ b/doc/invocations-http-server/server.py @@ -659,6 +659,8 @@ def action_data(name, profile_value, graph): else: data["primary_output"] = None data["artifacts"] = profile_value.get('artifacts', {}) + data["basenames"] = { name : os.path.basename(name) + for name in data["artifacts"].keys() } origins = [] for origin in desc.get('origins', []): origins.append("%s#%d@%s" % ( diff --git a/doc/invocations-http-server/templates/macros.html b/doc/invocations-http-server/templates/macros.html index 898a422a..fc988fc4 100644 --- a/doc/invocations-http-server/templates/macros.html +++ b/doc/invocations-http-server/templates/macros.html @@ -61,7 +61,7 @@ {% if action["artifacts"].get(out) %} <li> <a href="/blob/{{ action["artifacts"].get(out) | e}}"><tt>{{ out | e }}</tt></a> - <a href="/blob/{{ action["artifacts"].get(out) | e}}/{{ out | e}}"><tt>[↓]</tt></a> + <a href="/blob/{{ action["artifacts"].get(out) | e}}/{{ action["basenames"].get(out) | e}}"><tt>[↓]</tt></a> </li> {% else %} <li> <tt>{{ out | e }}</tt></li> |