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.

2 files changed, 19 insertions, 3 deletions

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 %}
diff --git a/doc/invocations-http-server/templates/invocations.html b/doc/invocations-http-server/templates/invocations.html
index f2212af0..c12b19cf 100644
--- a/doc/invocations-http-server/templates/invocations.html
+++ b/doc/invocations-http-server/templates/invocations.html
@@ -4,7 +4,11 @@ Recent Invocations
 {% endblock %}
 
 {% block content %}
+{% if filter_info %}
+<h1>Invocations filtered by {{ filter_info | e }}</h1>
+{% else %}
 <h1>Recent Invocations</h1>
+{% endif %}
 {% if invocations %}
 <ul>
   {% for invocation in invocations %}