()
| 374 | return { id, events: events() }; |
| 375 | }, |
| 376 | async killExec() { |
| 377 | exit = { id, seq: 1, name: "exit", value: 143 }; |
| 378 | for (const controller of controllers) { |
| 379 | controller.enqueue(exit); |
| 380 | controller.close(); |
| 381 | } |
| 382 | controllers.length = 0; |
| 383 | }, |
| 384 | disposeExec: async () => undefined, |
| 385 | }; |
| 386 | const backend: WorkspaceBackend = { |