diff options
| author | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-13 17:36:05 +0200 |
|---|---|---|
| committer | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-13 18:50:19 +0200 |
| commit | 30116c63bbfe6f538315e1a75b31d92d0b9ccca7 (patch) | |
| tree | 28d074d36e86e1a93f832c3d48edc841057df02e /doc | |
| parent | 7d982911f7f46526add1f1ea3dde5b5f701834f5 (diff) | |
| download | justbuild-30116c63bbfe6f538315e1a75b31d92d0b9ccca7.tar.gz | |
Invocation server: lexicographically sort filter values
Diffstat (limited to 'doc')
| -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 78a6e0ec..f2522114 100755 --- a/doc/invocations-http-server/server.py +++ b/doc/invocations-http-server/server.py @@ -169,10 +169,10 @@ class InvocationServer: return [{ "key": key, "key_hex": key.encode().hex(), - "values": [{ + "values": sorted([{ "value": v, "value_hex": v.encode().hex(), - } for v in values] + } for v in values], key=lambda x: x["value"]) } for key, values in filters.items() if len(values) > 1] return self.render("invocations.html", {"invocations": invocations, |