fix(client): reconnection bugs

SoftVarE-Group · Dec 12, 2023 · fde0f2a · fde0f2a
1 parent 0289bad
commit fde0f2a
Showing 1 changed file with 16 additions and 3 deletions.
diff --git a/WebSocketClient/src/main.ts b/WebSocketClient/src/main.ts
@@ -60,13 +60,17 @@ const createUrl = (hostname: string, port: number, path: string, searchParams: R
 
 const createWebSocket = (url: string): WebSocket => {
     const webSocket = new WebSocket(url);
+
     webSocket.onerror = () => {
         if(connectionText){
             displayEditorError( "Could not connect to language server. Reconnecting ...");
         }
+        if(languageClient !== undefined && languageClient.isRunning()){
+            //languageClient.dispose();
+        }
         setTimeout(() => {
             createWebSocket(url);
-        }, 1000);
+        }, 500);
     };
     webSocket.onopen = () => {
         if(connectionText){
@@ -82,15 +86,24 @@ const createWebSocket = (url: string): WebSocket => {
 
         languageClient.start();
         reader.onClose(() => {
-            languageClient.stop();
-            createWebSocket(url);
+            if(languageClient !== undefined && languageClient.isRunning()){
+                //languageClient.dispose();
+            }
+            setTimeout(() => {
+                createWebSocket(url);
+            }, 500);
         });
     };
+    /*
     webSocket.onclose = () => {
+        if(languageClient !== undefined && languageClient.isRunning()){
+            languageClient.dispose();
+        }
         setTimeout(() => {
             createWebSocket(url);
         }, 500);
     }
+    */
     return webSocket;
 };