diff options
| author | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-14 19:22:53 +0200 |
|---|---|---|
| committer | Sascha Roloff <sascha.roloff@huawei.com> | 2025-05-15 14:32:54 +0200 |
| commit | 60bf640b927fe383002b1af9512e9d84f1b27f81 (patch) | |
| tree | c66e37361854ff532e95c23a175457296d32cbe5 /doc/invocations-http-server/templates/invocations.html | |
| parent | da6a29bd0579553ddf6e569ab690bca75483af1f (diff) | |
| download | justbuild-60bf640b927fe383002b1af9512e9d84f1b27f81.tar.gz | |
Invocation server: add remote-execution address filter
Diffstat (limited to 'doc/invocations-http-server/templates/invocations.html')
| -rw-r--r-- | doc/invocations-http-server/templates/invocations.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/invocations-http-server/templates/invocations.html b/doc/invocations-http-server/templates/invocations.html index dc518e4a..18f90129 100644 --- a/doc/invocations-http-server/templates/invocations.html +++ b/doc/invocations-http-server/templates/invocations.html @@ -38,6 +38,17 @@ Filter by: {% endfor %} </details> {% endif %} + {% if remote_address_filters %} + <details> + <summary>Remote address</summary> + {% for entry in remote_address_filters %} + {% if loop.index > 1 %} + , + {% endif %} + <a href="/filterinvocations/remote/address/{{ entry["value_hex"] | e }}"><tt>{{ entry["value"] | e }}</tt></a> + {% endfor %} + </details> + {% endif %} {% endif %} {% if full_invocations %} <div id="invocation-list"> |