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/invocation.html | |
parent | da6a29bd0579553ddf6e569ab690bca75483af1f (diff) | |
download | justbuild-60bf640b927fe383002b1af9512e9d84f1b27f81.tar.gz |
Invocation server: add remote-execution address filter
Diffstat (limited to 'doc/invocations-http-server/templates/invocation.html')
-rw-r--r-- | doc/invocations-http-server/templates/invocation.html | 13 |
1 files changed, 10 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> |