()
| 1017 | } |
| 1018 | |
| 1019 | cancelRunningShellCommand(): void { |
| 1020 | const session = this.session; |
| 1021 | if (session === undefined) return; |
| 1022 | for (const commandId of this.shellOutputStreams.keys()) { |
| 1023 | void session.cancelShellCommand(commandId).catch((error: unknown) => { |
| 1024 | this.showError(`Failed to cancel shell command: ${formatErrorMessage(error)}`); |
| 1025 | }); |
| 1026 | } |
| 1027 | } |
| 1028 | |
| 1029 | private finishShellOutput( |
| 1030 | commandId: string, |
nothing calls this directly
no test coverage detected