From 74c3777bed0b437e65acca3fa762fcdd77a76c74 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Tue, 12 Nov 2013 13:25:48 +0000
Subject: [PATCH] WS

---
 tools/htdocs/mkws.js |    1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index aa19cc2..7c683f5 100644
--- a/tools/htdocs/mkws.js
+++ b/tools/htdocs/mkws.js
@@ -78,6 +78,7 @@ mkws.debug_time = {
     "start": $.now(),
     "last": $.now()
 };
+
 mkws.debug_function = function (string) {
     if (!mkws.debug_level)
 	return;
-- 
1.7.10.4