diff options
Diffstat (limited to 'doc/invocations-http-server')
| -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> |