changeset 2270:2ed0d91d410b

Be more verbose about one type of WebSocket errors that may occur and offer some advise on how to act.
author Matti Hamalainen <ccr@tnsp.org>
date Mon, 16 Mar 2020 04:05:36 +0200
parents 852a75555d01
children fa98b657c107
files www/search.js
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/www/search.js	Mon Mar 16 04:04:48 2020 +0200
+++ b/www/search.js	Mon Mar 16 04:05:36 2020 +0200
@@ -192,7 +192,10 @@
 
     tmpWS.onerror = function(mev)
     {
-      mapResult("WebSocket error occured.");
+      mapResult("<b>WebSocket error occured!</b>"+
+      "<p>If this problem persists for more than few hours AND this search HAS worked for you before, "+
+      "AND you are NOT using a IPv6 connection, please send e-mail to ccr@tnsp.org and report the problem.</p>"+
+      "<p>Do note that IPv6 connections are not currently supported by the MapSearch WebSocket server and in such case this error is expected.</p>");
       console.error("WebSocket error occured: ", mev);
     };