(id: string, options?: RuntimeKillOptions)
| 300 | : rehydrate<undefined>(handle, metadata); |
| 301 | }; |
| 302 | const killExec = (id: string, options?: RuntimeKillOptions) => runtime.killExec(id, options); |
| 303 | const disposeExec = (id: string, options?: { backend?: string }) => |
| 304 | runtime.disposeExec(id, options); |
| 305 | return { exec, getExec, killExec, disposeExec } as WorkspaceRuntimeClient; |