Function disposeExec

packages/computer/src/client.ts:303–304

(id: string, options?: { backend?: string })

  };
  const killExec = (id: string, options?: RuntimeKillOptions) => runtime.killExec(id, options);
  const disposeExec = (id: string, options?: { backend?: string }) =>
    runtime.disposeExec(id, options);
  return { exec, getExec, killExec, disposeExec } as WorkspaceRuntimeClient;
}