fix: Cleanup output channels when restarting server

diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts
index 51781b4205cd40fe103dc19fc9ac8f65380dafd5..f4f8c5b73e2ba94f8d1c1b0b327c32d7b1cf7c53 100644 (file)
--- a/editors/code/src/ctx.ts
+++ b/editors/code/src/ctx.ts
@@ -43,6 +43,8 @@ export class Ctx {
         const res = new Ctx(config, extCtx, client, serverPath, statusBar);
 
         res.pushCleanup(client.start());
+        res.pushCleanup(client.traceOutputChannel);
+        res.pushCleanup(client.outputChannel);
         await client.onReady();
         client.onNotification(ra.serverStatus, (params) => res.setServerStatus(params));
         return res;