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 | |
| parent | da6a29bd0579553ddf6e569ab690bca75483af1f (diff) | |
| download | justbuild-60bf640b927fe383002b1af9512e9d84f1b27f81.tar.gz | |
Invocation server: add remote-execution address filter
Diffstat (limited to 'doc/invocations-http-server/templates')
| -rw-r--r-- | doc/invocations-http-server/templates/invocation.html | 13 | ||||
| -rw-r--r-- | doc/invocations-http-server/templates/invocations.html | 11 |
2 files changed, 21 insertions, 3 deletions
diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html index f8df4a21..c7cba837 100644 --- a/doc/invocations-http-server/templates/invocation.html +++ b/doc/invocations-http-server/templates/invocation.html @@ -120,10 +120,17 @@ Inocations {{invocation | e}} {% if config %} <li> Target configuration: <tt>{{ config | e }}</tt></li> {% endif %} - {% if remote_address %} - <li> Remote: + {% if has_remote %} + <li> + {% if is_remote %} + Remote build: + {% else %} + Local build: + {% endif %} <ul> - <li> Address: <tt>{{ remote_address | e }}</tt></li> + <li> Address: + <a href="/filterinvocations/remote/address/{{ remote_address["value_hex"] | e }}"><tt>{{ remote_address["value"] | e }}</tt></a> + </li> {% if remote_props %} <li> Properties: <ul> 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"> |