| 265 | let continueWithoutExiting: boolean = false; |
| 266 | |
| 267 | const clean = () => { |
| 268 | if (terminalListener) { |
| 269 | terminalListener.dispose(); |
| 270 | terminalListener = undefined; |
| 271 | } |
| 272 | |
| 273 | if (terminal) { |
| 274 | terminal.dispose(); |
| 275 | terminal = undefined; |
| 276 | } |
| 277 | |
| 278 | if (windowListener) { |
| 279 | windowListener.dispose(); |
| 280 | windowListener = undefined; |
| 281 | } |
| 282 | |
| 283 | if (tokenListener) { |
| 284 | tokenListener.dispose(); |
| 285 | } |
| 286 | |
| 287 | disposables.forEach(disposable => disposable.dispose()); |
| 288 | }; |
| 289 | |
| 290 | const done = (cancel: boolean = false, noClean: boolean = false, exitCode?: number) => { |
| 291 | if (!noClean) { |