diff options
author | Veetaha <[email protected]> | 2020-07-05 19:05:38 +0100 |
---|---|---|
committer | Veetaha <[email protected]> | 2020-07-05 19:05:38 +0100 |
commit | 13872543e074adc153b440660beda441fd562f53 (patch) | |
tree | b3ce8f8c7c2b00ed13230cce1f0cf1bd2297a13d | |
parent | 3602f07bbee5b13dcd799cbc79381e9428808048 (diff) |
Dispose logger on extension deactivation
-rw-r--r-- | editors/code/src/main.ts | 2 | ||||
-rw-r--r-- | editors/code/src/util.ts | 4 |
2 files changed, 6 insertions, 0 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 5877be8b2..f22981930 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -49,6 +49,8 @@ async function tryActivate(context: vscode.ExtensionContext) { | |||
49 | ); | 49 | ); |
50 | context.subscriptions.push(defaultOnEnter); | 50 | context.subscriptions.push(defaultOnEnter); |
51 | 51 | ||
52 | context.subscriptions.push(log); | ||
53 | |||
52 | const config = new Config(context); | 54 | const config = new Config(context); |
53 | const state = new PersistentState(context.globalState); | 55 | const state = new PersistentState(context.globalState); |
54 | const serverPath = await bootstrap(config, state).catch(err => { | 56 | const serverPath = await bootstrap(config, state).catch(err => { |
diff --git a/editors/code/src/util.ts b/editors/code/src/util.ts index 78fe6f5da..6b07d448b 100644 --- a/editors/code/src/util.ts +++ b/editors/code/src/util.ts | |||
@@ -18,6 +18,10 @@ export const log = new class { | |||
18 | private enabled = true; | 18 | private enabled = true; |
19 | private readonly output = vscode.window.createOutputChannel("Rust Analyzer Client"); | 19 | private readonly output = vscode.window.createOutputChannel("Rust Analyzer Client"); |
20 | 20 | ||
21 | dispose() { | ||
22 | log.output.dispose(); | ||
23 | } | ||
24 | |||
21 | setEnabled(yes: boolean): void { | 25 | setEnabled(yes: boolean): void { |
22 | log.enabled = yes; | 26 | log.enabled = yes; |
23 | } | 27 | } |