From 8339415939e6766b011582a815f6800339cce81e Mon Sep 17 00:00:00 2001
From: Ali Mohammad Pur <ali.mpfard@gmail.com>
Date: Fri, 4 Feb 2022 14:11:53 +0330
Subject: [PATCH] Base: Format the WebSocket demo page with prettier

---
 Base/res/html/misc/websocket.html | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/Base/res/html/misc/websocket.html b/Base/res/html/misc/websocket.html
index f3263bedeb..a25ffb8391 100644
--- a/Base/res/html/misc/websocket.html
+++ b/Base/res/html/misc/websocket.html
@@ -8,35 +8,35 @@
         <h2>WebSocket Test</h2>
         <div id="output"></div>
         <script type="text/javascript">
-            var output = document.getElementById('output');
+            var output = document.getElementById("output");
 
             function println(message) {
-                const p = document.createElement('p');
+                const p = document.createElement("p");
                 p.innerHTML = message;
                 output.appendChild(p);
             }
 
             // Websocket echo server, provided from https://www.websocket.org/echo.html
-            var targetUrl = 'wss://echo.websocket.org';
-            var messageContent = 'Hello friends :^)';
+            var targetUrl = "wss://echo.websocket.org";
+            var messageContent = "Hello friends :^)";
             println('<span style="color: blue;">Connecting to:</span> ' + targetUrl);
             websocket = new WebSocket(targetUrl);
-            websocket.onopen = function() {
+            websocket.onopen = function () {
                 println('<span style="color: green;">Connected to:</span> ' + targetUrl);
                 println('<span style="color: blue;">Sending Message:</span> ' + messageContent);
                 websocket.send(messageContent);
             };
-            websocket.onmessage = function(event) {
+            websocket.onmessage = function (event) {
                 println('<span style="color: green;">Received Response:</span> ' + event.data);
                 println('<span style="color: blue;">Closing connection...</span> ');
                 websocket.close();
             };
-            websocket.onerror = function(evt) {
+            websocket.onerror = function (evt) {
                 println('<span style="color: red;">ERROR:</span> ' + evt.data);
             };
-            websocket.onclose = function() {
+            websocket.onclose = function () {
                 println('<span style="color: green;">Connection closed!</span>');
             };
-          </script>
+        </script>
     </body>
 </html>