(terminal: vscode.Terminal)
| 320 | } |
| 321 | |
| 322 | private onTerminalClose(terminal: vscode.Terminal): void { |
| 323 | if (terminal !== this.consoleTerminal) { |
| 324 | return; |
| 325 | } |
| 326 | |
| 327 | this.logger.writeWarning( |
| 328 | `PowerShell process terminated or Extension Terminal was closed, PID: ${this.pid}`, |
| 329 | ); |
| 330 | this.dispose(); |
| 331 | } |
| 332 | } |
no test coverage detected