diff --git a/webui/assets/main.js b/webui/assets/main.js index 6ee89ffc4..bf16cb2df 100644 --- a/webui/assets/main.js +++ b/webui/assets/main.js @@ -75,15 +75,19 @@ class REPL { xhr.setRequestHeader('Content-Type', 'application/text'); const repl = this + var start_time = new Date().getTime(); + xhr.send(query) xhr.onload = function() { + var end_time = new Date().getTime() repl.result_number++ repl.createSingleOutput({ "input": query, "output": xhr.responseText, "indexname": indexname, + "querytime_ms": end_time - start_time, }) } - xhr.send(query) + } createSingleOutput(res) { @@ -106,7 +110,7 @@ class REPL {
output
       - .42 ms + ${res.querytime_ms} ms
${res.output}