From: Mike Taylor <mike@indexdata.com>
Date: Tue, 18 Mar 2014 12:45:30 +0000 (+0000)
Subject: Rename m_debug_time to m_debugTime.
X-Git-Tag: 1.0.0~1309^2~6
X-Git-Url: http://lists.indexdata.dk/?a=commitdiff_plain;h=b9d32463b38074309f2c80145094f597ae98daa3;p=mkws-moved-to-github.git

Rename m_debug_time to m_debugTime.
---

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index ca84b59..50eec65 100644
--- a/tools/htdocs/mkws.js
+++ b/tools/htdocs/mkws.js
@@ -236,7 +236,7 @@ function team($, teamName) {
     var m_curPage = 1;
     var m_curDetRecId = '';
     var m_curDetRecData = null;
-    var m_debug_time = {
+    var m_debugTime = {
 	// Timestamps for logging
 	"start": $.now(),
 	"last": $.now()
@@ -247,8 +247,8 @@ function team($, teamName) {
 
     var debug = function (s) {
 	var now = $.now();
-	var timestamp = ((now - m_debug_time.start)/1000).toFixed(3) + " (+" + ((now - m_debug_time.last)/1000).toFixed(3) + ") "
-	m_debug_time.last = now;
+	var timestamp = ((now - m_debugTime.start)/1000).toFixed(3) + " (+" + ((now - m_debugTime.last)/1000).toFixed(3) + ") "
+	m_debugTime.last = now;
 
 	mkws.debug(m_teamName + ": " + timestamp + s);
     }