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/invocations-http-server/server.py | |
| parent | aa0d8efe37dd4a0a8105a28323b561b74a135bfe (diff) | |
| download | justbuild-58605c971c8829c36fd0a055d75cc5aaf8c4656a.tar.gz | |
Invocation server: print only non-empty dispatch lists
Diffstat (limited to 'doc/invocations-http-server/server.py')
| -rwxr-xr-x | doc/invocations-http-server/server.py | 4 |
1 files changed, 2 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 |