diff options
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" % ( |