# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1678276645 -7200
# Node ID 81a0f6e6256c97524cf68200aac502ff56efaa44
# Parent  f059b572e61291856ab8800155b21aeee17c2255# Parent  71e565a46274879245993adce073fa6f246111fc
Merge.

diff -r f059b572e612 -r 81a0f6e6256c www/search.js
--- a/www/search.js	Tue Feb 14 09:37:52 2023 +0200
+++ b/www/search.js	Wed Mar 08 13:57:25 2023 +0200
@@ -4,7 +4,6 @@
 // (C) Copyright 2017-2019 Tecnic Software productions (TNSP)
 //
 
-var mapServer = "wss://tnsp.org:444";
 var fieldPattern, chosenPattern = 0;
 var msgLog, mapWS, tmpWS, locWS, mapList = [];
 var mapItemToggles = new Array();
@@ -184,7 +183,8 @@
 {
   if ("WebSocket" in window)
   {
-    var tmpWS = new WebSocket(mapServer);
+    var mapPort = "5222";
+    var tmpWS = new WebSocket("wss://tnsp.org:"+ mapPort);
     if (!tmpWS)
     {
       mapResult("WebSocket error: Could not create WebSocket.");
@@ -195,7 +195,7 @@
     {
       mapResult("<b>WebSocket error occured!</b>"+
       "<p>If this problem persists for more than few hours AND this search HAS worked for you before, "+
-      "you should check if your Internet provider and firewall allow connections to TCP port 444.</p>"
+      "you should check if your Internet provider and firewall allow connections to TCP port "+ mapPort +".</p>"
       );
       console.error("WebSocket error occured: ", mev);
     };