()
| 180 | } |
| 181 | |
| 182 | export function disposeOutputChannels(): void { |
| 183 | if (outputChannel) { |
| 184 | outputChannel.dispose(); |
| 185 | } |
| 186 | if (diagnosticsChannel) { |
| 187 | diagnosticsChannel.dispose(); |
| 188 | } |
| 189 | if (debugChannel) { |
| 190 | debugChannel.dispose(); |
| 191 | } |
| 192 | if (warningChannel) { |
| 193 | warningChannel.dispose(); |
| 194 | } |
| 195 | } |