diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2022-06-05 13:24:39 +0200 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2022-06-05 13:24:39 +0200 |
| commit | fd298b3994c1f469eb566192060b4c2fbe78a1c4 (patch) | |
| tree | 570d3586e45eac0ba386df76511d8445cb9e3535 /editors/code | |
| parent | d38b7b88c67a4ac584d36f57023f2192901cda9c (diff) | |
| download | rust-fd298b3994c1f469eb566192060b4c2fbe78a1c4.tar.gz rust-fd298b3994c1f469eb566192060b4c2fbe78a1c4.zip | |
fix: Cleanup output channels when restarting server
Diffstat (limited to 'editors/code')
| -rw-r--r-- | editors/code/src/ctx.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts index 51781b4205c..f4f8c5b73e2 100644 --- 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; |