| 141 | } |
| 142 | |
| 143 | async killExec(id: string, options: WorkspaceRuntimeKillOptions = {}): Promise<void> { |
| 144 | assertExecutionId(id); |
| 145 | const backend = this.#backend(options.backend); |
| 146 | if (this.#options.commandBackendIds.has(backend)) { |
| 147 | await this.#options.shell().kill(id, options.signal, { backend }); |
| 148 | return; |
| 149 | } |
| 150 | await (await this.#options.moduleHandle(backend)).killExec({ id, signal: options.signal }); |
| 151 | } |
| 152 | |
| 153 | async disposeExec(id: string, options: WorkspaceRuntimeDisposeOptions = {}): Promise<void> { |
| 154 | assertExecutionId(id); |