From 08f127711f13531840e9987c0de2e7cad2a3a2d8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Miro=20Sp=C3=B6nemann?= Date: Tue, 17 Dec 2019 11:40:33 +0100 Subject: [PATCH] bcmi-labs/arduino-language-server#17 (workaround for eclipse-theia/theia#6308) --- .../src/node/language/arduino-language-server-contribution.ts | 2 ++ 1 file changed, 2 insertions(+) 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 3369e32e..0404185b 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 @@ -41,6 +41,8 @@ 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()); } protected resolveExecutable(name: string): Promise {