diff options
author | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-14 19:35:20 +0200 |
---|---|---|
committer | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-15 14:32:54 +0200 |
commit | 58605c971c8829c36fd0a055d75cc5aaf8c4656a (patch) | |
tree | db52ad5e5dfca25776594a13d44b50b1a50c9ca2 /doc | |
parent | aa0d8efe37dd4a0a8105a28323b561b74a135bfe (diff) | |
download | justbuild-58605c971c8829c36fd0a055d75cc5aaf8c4656a.tar.gz |
Invocation server: print only non-empty dispatch lists
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/invocations-http-server/server.py | 4 | ||||
-rw-r--r-- | doc/invocations-http-server/templates/invocation.html | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/doc/invocations-http-server/server.py b/doc/invocations-http-server/server.py index 9e8ece95..30f9c6d1 100755 --- a/doc/invocations-http-server/server.py +++ b/doc/invocations-http-server/server.py @@ -391,8 +391,8 @@ class InvocationServer: "value_hex": value.encode().hex(), }) params["remote_props"] = remote_props - params["remote_dispatch"] = json.dumps( - profile.get('remote', {}).get('dispatch', [])) + remote_dispatch = profile.get('remote', {}).get('dispatch', []) + params["remote_dispatch"] = json.dumps(remote_dispatch) if remote_dispatch else None # For complex conditional data fill with None as default for k in ["cmdline", "cmd", "target", "config"]: params[k] = None diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html index 8dd075e2..09faf226 100644 --- a/doc/invocations-http-server/templates/invocation.html +++ b/doc/invocations-http-server/templates/invocation.html @@ -137,7 +137,9 @@ Inocations {{invocation | e}} {% else %} <li> Properties: <i>(none)</i></li> {% endif %} + {% if remote_dispatch %} <li> Dispatch: <tt>{{ remote_dispatch | e }}</tt></li> + {% endif %} </ul> </li> {% endif %} |