summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSascha Roloff <sascha.roloff@huawei.com>2025-05-14 19:35:20 +0200
committerSascha Roloff <sascha.roloff@huawei.com>2025-05-15 14:32:54 +0200
commit58605c971c8829c36fd0a055d75cc5aaf8c4656a (patch)
treedb52ad5e5dfca25776594a13d44b50b1a50c9ca2 /doc
parentaa0d8efe37dd4a0a8105a28323b561b74a135bfe (diff)
downloadjustbuild-58605c971c8829c36fd0a055d75cc5aaf8c4656a.tar.gz
Invocation server: print only non-empty dispatch lists
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/invocations-http-server/server.py4
-rw-r--r--doc/invocations-http-server/templates/invocation.html2
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 %}