| 293 | : rehydrate<undefined>(handle, metadata); |
| 294 | } |
| 295 | const getExec = async (id: string, options?: RuntimeGetOptions) => { |
| 296 | const handle = await runtime.getExec(id, options as Record<string, unknown> | undefined); |
| 297 | const metadata = { id, backend: options?.backend }; |
| 298 | return options?.encoding === "utf8" |
| 299 | ? rehydrate<"utf8">(handle, metadata) |
| 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); |