From: Mike Taylor <mike@indexdata.com>
Date: Thu, 23 Jan 2014 10:47:58 +0000 (+0000)
Subject: debug_time becomes a private member.
X-Git-Tag: 1.0.0~1661
X-Git-Url: http://sru.miketaylor.org.uk/?a=commitdiff_plain;ds=sidebyside;h=8c77fd1f1e48584109bcaa0d6ee3df91c52dc248;p=mkws-moved-to-github.git

debug_time becomes a private member.
---

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index fe7a0dc..80e4c80 100644
--- a/tools/htdocs/mkws.js
+++ b/tools/htdocs/mkws.js
@@ -83,7 +83,7 @@ var m_sort = 'relevance';
 var m_filters = [];
 
 // keep time state for debugging
-mkws.debug_time = {
+var m_debug_time = {
     "start": $.now(),
     "last": $.now()
 };
@@ -97,8 +97,8 @@ mkws.debug_function = function (string) {
     }
 
     var now = $.now();
-    var timestamp = ((now - mkws.debug_time.start)/1000).toFixed(3) + " (+" + ((now - mkws.debug_time.last)/1000).toFixed(3) + ") "
-    mkws.debug_time.last = now;
+    var timestamp = ((now - m_debug_time.start)/1000).toFixed(3) + " (+" + ((now - m_debug_time.last)/1000).toFixed(3) + ") "
+    m_debug_time.last = now;
 
     // you need to disable use strict at the top of the file!!!
     if (mkws.debug_level >= 3) {