arduino/arduino-language-server#17 (workaround for eclipse-theia/theia#6308)

spoenemann · spoenemann · commit 08f127711f13 · 2019-12-17T11:40:33.000+01:00
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
@@ -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<string> {

Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,8 @@ export class ArduinoLanguageServerContribution extends BaseLanguageServerContrib`
`41`	`41`	console.log(`Starting language server ${languageServer} ${args.join(' ')}`);
`42`	`42`	`const serverConnection = await this.createProcessStreamConnectionAsync(languageServer, args);`
`43`	`43`	`this.forward(clientConnection, serverConnection);`
	`44`	`+ // https://github.com/eclipse-theia/theia/issues/6308`
	`45`	`+ serverConnection.onClose(() => (clientConnection as any).reader.socket.close());`
`44`	`46`	`}`
`45`	`47`
`46`	`48`	`protected resolveExecutable(name: string): Promise<string> {`