Invocation server: also show information related to the used remote

2 files changed, 13 insertions, 1 deletions

diff --git a/doc/invocations-http-server/templates/invocation.html b/doc/invocations-http-server/templates/invocation.html
index 73858979..62d98813 100644
--- a/doc/invocations-http-server/templates/invocation.html
+++ b/doc/invocations-http-server/templates/invocation.html
@@ -93,6 +93,15 @@ Inocations {{invocation | e}}
   {% if config %}
   <li> Target configuration: <tt>{{ config | e }}</tt></li>
   {% endif %}
+  {% 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>
+    </ul>
+  </li>
+  {% endif %}
   {% if exit_code != None %}
   <li> exit code: {{ exit_code | e }}</li>
   {% endif %}
diff --git a/doc/invocations-http-server/templates/invocations.html b/doc/invocations-http-server/templates/invocations.html
index a3c6dfe2..f2212af0 100644
--- a/doc/invocations-http-server/templates/invocations.html
+++ b/doc/invocations-http-server/templates/invocations.html
@@ -8,10 +8,13 @@ Recent Invocations
 {% if invocations %}
 <ul>
   {% for invocation in invocations %}
-  <li> <a href="/invocations/{{invocation.name |e}}">{{ invocation.name | e }}</a>
+  <li> <a href="/invocations/{{invocation.name |e}}"><tt>{{ invocation.name | e }}</tt></a>
     {% if invocation.subcommand %}
     {{ invocation.subcommand | e }}
     {% endif %}
+    {% if invocation.remote_address %}
+    (on <tt>{{ invocation.remote_address | e }}@{{ invocation.remote_props | e }}</tt>)
+    {% endif %}
     {% if invocation.target %}
     <tt>{{ invocation.target | e}}@{{ invocation.config | e}}</tt>
     {% endif %}