From a54c860dbba147bdaa9d45a4b9c93588b849c542 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Thu, 23 Jul 2020 13:58:33 +0200 Subject: [PATCH] dispose the tool ouput when the window closes. Signed-off-by: Akos Kitta --- arduino-ide-extension/src/node/tool-output-service-impl.ts | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/node/tool-output-service-impl.ts b/arduino-ide-extension/src/node/tool-output-service-impl.ts index 9aca7dd4..ca9bc428 100644 --- a/arduino-ide-extension/src/node/tool-output-service-impl.ts +++ b/arduino-ide-extension/src/node/tool-output-service-impl.ts @@ -22,7 +22,12 @@ export class ToolOutputServiceServerImpl implements ToolOutputServiceServer { } disposeClient(client: ToolOutputServiceClient): void { - + const index = this.clients.indexOf(client); + if (index === -1) { + console.warn(`Could not dispose tools output client. It was not registered.`); + return; + } + this.clients.splice(index, 1); } dispose(): void {