+
+ 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;
+
+ mkws.debug_function(m_teamName + ": " + timestamp + s);
+ }
+