# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1509304512 -7200
# Node ID 895606ee727a2cf062381439ec0a153e63460a10
# Parent  76dce42776f88f346c5bd6b330903dabd4ab7323
Remove error handlers from front-end WebSocket stuff, we do not really need these, at least for now.

diff -r 76dce42776f8 -r 895606ee727a www/search.js
--- a/www/search.js	Sun Oct 29 21:12:06 2017 +0200
+++ b/www/search.js	Sun Oct 29 21:15:12 2017 +0200
@@ -162,13 +162,6 @@
     mapWS = null;
     btnSearch.disabled = false;
   };
-
-  mapWS.onerror = function()
-  {
-    mapLog("Error!");
-    mapWS = null;
-    btnSearch.disabled = false;
-  };
 }
 
 
@@ -233,12 +226,6 @@
     mapLog("WebSocket connection closed.");
     tmpWS = null;
   };
-
-  tmpWS.onerror = function()
-  {
-    mapLog("Error!");
-    tmpWS = null;
-  };
 }