| 1057 | } |
| 1058 | |
| 1059 | async kill( |
| 1060 | id: string, |
| 1061 | signal?: import("./shell.js").KillSignal, |
| 1062 | options: { backend?: string } = {}, |
| 1063 | ): Promise<void> { |
| 1064 | const backendId = this.#resolveId(options.backend) || this.#defaultId; |
| 1065 | const { shell, handle } = await this.#shellFor(backendId); |
| 1066 | try { |
| 1067 | await shell.kill(id, signal); |
| 1068 | } catch (error) { |
| 1069 | this.#onError(backendId, handle, error); |
| 1070 | throw error; |
| 1071 | } |
| 1072 | } |
| 1073 | |
| 1074 | async dispose(id: string, options: { backend?: string } = {}): Promise<void> { |
| 1075 | const backendId = this.#resolveId(options.backend) || this.#defaultId; |