From f8a1a6a4a2f585db5cb1f20aad540cdf75b389aa Mon Sep 17 00:00:00 2001
From: Sascha Roloff <sascha.roloff@huawei.com>
Date: Fri, 9 May 2025 20:00:56 +0200
Subject: Invocation server: add filter selector to overview page

---
 .../templates/invocations.html                     | 32 ++++++++++++++++++++--
 1 file changed, 30 insertions(+), 2 deletions(-)

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

diff --git a/doc/invocations-http-server/templates/invocations.html b/doc/invocations-http-server/templates/invocations.html
index 1417a3c4..a98babae 100644
--- a/doc/invocations-http-server/templates/invocations.html
+++ b/doc/invocations-http-server/templates/invocations.html
@@ -8,8 +8,36 @@ Recent Invocations
 <h1>Invocations filtered by {{ filter_info | e }}</h1>
 {% else %}
 <h1>Recent Invocations</h1>
-
-Filter: <a href="/filterinvocations/noncached">only not fully cached</a>
+<b>Filter by:</b>
+  <a href="/filterinvocations/noncached">only not fully cached</a>
+  {% if context_filters %}
+  <details>
+    <summary>Context</summary>
+    {% for entry in context_filters %}
+      <tt>{{ entry.key | e }}</tt>:
+      {% for value in entry["values"] %}
+        {% if loop.index > 1 %}
+        ,
+        {% endif %}
+        <a href="/filterinvocations/context/{{ entry["key_hex"] | e }}/{{ value["value_hex"] }}"><tt>{{ value["value"] | e }}</tt></a>
+      {% endfor %}<br>
+    {% endfor %}
+  </details>
+  {% endif %}
+  {% if remote_props_filters %}
+  <details>
+    <summary>Remote properties</summary>
+    {% for entry in remote_props_filters %}
+      <tt>{{ entry.key | e }}</tt>:
+      {% for value in entry["values"] %}
+        {% if loop.index > 1 %}
+        ,
+        {% endif %}
+        <a href="/filterinvocations/remote/prop/{{ entry["key_hex"] | e }}/{{ value["value_hex"] }}"><tt>{{ value["value"] | e }}</tt></a>
+      {% endfor %}<br>
+    {% endfor %}
+  </details>
+  {% endif %}
 {% endif %}
 {% if invocations %}
 <ul>
-- 
cgit v1.2.3