scriptoriumadmin/featurebase
1
0
Fork 0
mirror of https://github.com/featurebasedb/featurebase.git synced 2026-09-07 00:55:55 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add real query time to output

Browse source
This commit is contained in:
Alan Bernstein 2017-04-25 11:59:49 -05:00
parent 7ee65e6022
commit cd30b412f8
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
webui/assets/main.js
View file

@ -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 {
<div class="result-io-header">
<h5>output</h5>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<em>.42 ms</em>
<em>${res.querytime_ms} ms</em>
</div>
<div class="result-ouput">
${res.output}