diff --git a/arduino-ide-extension/src/node/language/arduino-language-server-contribution.ts b/arduino-ide-extension/src/node/language/arduino-language-server-contribution.ts
index 00620c49..d3db36e7 100644
--- a/arduino-ide-extension/src/node/language/arduino-language-server-contribution.ts
+++ b/arduino-ide-extension/src/node/language/arduino-language-server-contribution.ts
@@ -44,8 +44,6 @@ export class ArduinoLanguageServerContribution extends BaseLanguageServerContrib
         console.log(`Starting language server ${languageServer} ${args.join(' ')}`);
         const serverConnection = await this.createProcessStreamConnectionAsync(languageServer, args);
         this.forward(clientConnection, serverConnection);
-        // https://github.com/eclipse-theia/theia/issues/6308
-        serverConnection.onClose(() => (clientConnection as any).reader.socket.close());
     }
 
 }