1 files changed, 3 insertions, 1 deletions
diff --git a/doc/invocations-http-server/server.py b/doc/invocations-http-server/server.py
index 68955841..b8ea24d5 100755
--- a/doc/invocations-http-server/server.py
+++ b/doc/invocations-http-server/server.py
@@ -189,12 +189,14 @@ class InvocationServer:
                                          "entries": entries})
 
     def do_get_invocation(self, invocation):
-        params = {"invocation": invocation}
+        params = {"invocation": invocation,
+                  "have_profile": False}
 
         try:
             with open(os.path.join(
                     self.logsdir, invocation, self.profile)) as f:
                 profile = json.load(f)
+                params["have_profile"] = True
         except:
             profile = {}