Removed workaround

spoenemann · spoenemann · commit acf7b6a8dacd · 2020-02-24T10:37:17.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
@@ -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());
     }
 
 }

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