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 /editors/code/src/util.ts | |
parent | 3602f07bbee5b13dcd799cbc79381e9428808048 (diff) |
Dispose logger on extension deactivation
Diffstat (limited to 'editors/code/src/util.ts')
-rw-r--r-- | editors/code/src/util.ts | 4 |
1 files changed, 4 insertions, 0 deletions
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 | } |