From b9d32463b38074309f2c80145094f597ae98daa3 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 18 Mar 2014 12:45:30 +0000 Subject: [PATCH] Rename m_debug_time to m_debugTime. --- tools/htdocs/mkws.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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); } -- 1.7.10.4