From: Wolfram Schneider <wosch@indexdata.dk>
Date: Thu, 19 Dec 2013 13:29:29 +0000 (+0000)
Subject: debug(): format timestamps with 3 digits, e.g. 0.1 -> 0.100
X-Git-Tag: 0.9.1~3^2~3
X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=commitdiff_plain;h=54b1dadf3e529bd323661138eaf255192706ef50;hp=f31bd27a0d6faa4e6d33044ff6a380603e05296e

debug(): format timestamps with 3 digits, e.g. 0.1 -> 0.100
---

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index e32f61c..8b40745 100644
--- a/tools/htdocs/mkws.js
+++ b/tools/htdocs/mkws.js
@@ -88,7 +88,7 @@ mkws.debug_function = function (string) {
     }
 
     var now = $.now();
-    var timestamp = (now - mkws.debug_time.start)/1000 + " (+" + (now - mkws.debug_time.last)/1000 + ") "
+    var timestamp = ((now - mkws.debug_time.start)/1000).toFixed(3) + " (+" + ((now - mkws.debug_time.last)/1000).toFixed(3) + ") "
     mkws.debug_time.last = now;
 
     // you need to disable use strict at the top of the file!!!