From d66c513131f19f492ca3eb5b475950076925b239 Mon Sep 17 00:00:00 2001
From: Ali Mohammad Pur <ali.mpfard@gmail.com>
Date: Fri, 4 Feb 2022 14:12:21 +0330
Subject: [PATCH] Base: Replace the WebSocket demo target URL with a working
 one

websocket.org was shutdown somewhere in late 2021, switch to
websocket.events to make the demo work.
---
 Base/res/html/misc/websocket.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Base/res/html/misc/websocket.html b/Base/res/html/misc/websocket.html
index a25ffb8391..13ae3639aa 100644
--- a/Base/res/html/misc/websocket.html
+++ b/Base/res/html/misc/websocket.html
@@ -17,7 +17,7 @@
             }
 
             // Websocket echo server, provided from https://www.websocket.org/echo.html
-            var targetUrl = "wss://echo.websocket.org";
+            var targetUrl = "wss://echo.websocket.events";
             var messageContent = "Hello friends :^)";
             println('<span style="color: blue;">Connecting to:</span> ' + targetUrl);
             websocket = new WebSocket(targetUrl);