From 3ddde7ba476d8dab4a8f18bf9fe00bc40f5b99ac Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <klaus.aehlig@huawei.com>
Date: Thu, 8 May 2025 17:13:23 +0200
Subject: Invocation server: support filtering by remote-execution property

When looking at an invocation, it can be helpful to quickly get
all other invocation that coincide with a specific remote-execution
property (like the build image). Support this use case by adding
appropriate filtering and links.
---
 doc/invocations-http-server/templates/invocation.html | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

(limited to 'doc/invocations-http-server/templates/invocation.html')

diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html
index 62d98813..816f5344 100644
--- a/doc/invocations-http-server/templates/invocation.html
+++ b/doc/invocations-http-server/templates/invocation.html
@@ -96,9 +96,21 @@ Inocations {{invocation | e}}
   {% if remote_address %}
   <li> remote
     <ul>
-      <li> address: <tt>{{ remote_address | e }}</tt>
-      <li> properties: <tt>{{ remote_props | e}}</tt>
-      <li> dispatch: <tt>{{ remote_dispatch | e }}</tt>
+      <li> address: <tt>{{ remote_address | e }}</tt></li>
+      {% if remote_props %}
+      <li> properties:
+        <ul>
+          {% for prop in remote_props %}
+          <li> <tt>{{ prop["key"] | e }}</tt> :
+            <a href="/filterinvocations/remote/prop/{{ prop["key_hex"] | e }}/{{ prop["value_hex"] }}"><tt>{{ prop["value"] | e }}</tt></a>
+          </li>
+          {% endfor %}
+        </ul>
+      </li>
+      {% else %}
+      <li> properties: <i>(none)</i>
+      {% endif %}
+      <li> dispatch: <tt>{{ remote_dispatch | e }}</tt></li>
     </ul>
   </li>
   {% endif %}
-- 
cgit v1.2.3