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/invocations-http-server/server.py | |
| 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/invocations-http-server/server.py')
| -rwxr-xr-x | doc/invocations-http-server/server.py | 2 |
1 files changed, 2 insertions, 0 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" % ( |