From 00472594e23a9ddd5fc8ce01c1435416f87f8297 Mon Sep 17 00:00:00 2001 From: Stefan Date: Tue, 12 Dec 2023 12:25:51 +0100 Subject: [PATCH] fix(client): removed unnecessary comments --- WebSocketClient/src/main.ts | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) diff --git a/WebSocketClient/src/main.ts b/WebSocketClient/src/main.ts index b00bcfe..d34c04b 100644 --- a/WebSocketClient/src/main.ts +++ b/WebSocketClient/src/main.ts @@ -65,9 +65,6 @@ const createWebSocket = (url: string): WebSocket => { if(connectionText){ displayEditorError( "Could not connect to language server. Reconnecting ..."); } - if(languageClient !== undefined && languageClient.isRunning()){ - //languageClient.dispose(); - } setTimeout(() => { createWebSocket(url); }, 500); @@ -86,24 +83,12 @@ const createWebSocket = (url: string): WebSocket => { languageClient.start(); reader.onClose(() => { - 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; };