diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-15 16:06:20 +0200 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-15 16:07:58 +0200 |
commit | e16cd462f2cf9292bfb1d107991fd12621de2e08 (patch) | |
tree | 393916a2f3b8593ecdec68aa17063f0262006f6c | |
parent | 4d989f85bde4788f456305db2e046b3ec364db08 (diff) | |
download | justbuild-e16cd462f2cf9292bfb1d107991fd12621de2e08.tar.gz |
invocation server: fix isintance statement
-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 26920a8a..17da3504 100755 --- a/doc/invocations-http-server/server.py +++ b/doc/invocations-http-server/server.py @@ -126,7 +126,7 @@ class InvocationServer: def add_filter(data, filters): if isinstance(filters, set): filters.add(json.dumps(data)) - elif isinstance(filters, map): + elif isinstance(filters, dict): for k, v in data.items(): key = json.dumps(k) value = json.dumps(v) @@ -225,7 +225,7 @@ class InvocationServer: } for v in values], key=lambda x: x["value"]) if isinstance(filters, set): return convert_values(filters) if len(filters) > 1 else [] - elif isinstance(filters, map): + elif isinstance(filters, dict): return sorted([{ "key": key, "key_hex": key.encode().hex(), |