Method #routedShell

packages/computer/src/workspace.ts:942–950

()

  // call (default, or the one named through ExecOptions.backend)
  // and forwards to that backend's WorkspaceShell.
  #routedShell(): WorkspaceShell {
    const router = new WorkspaceShellRouter(
      this.#defaultCommandBackendId ?? "",
      (id) => this.#shellFor(id),
      (id) => this.#resolveCommandBackendId(id) ?? "",
      (id, handle, error) => this.#onShellError(id, handle, error),
    );
    return router as unknown as WorkspaceShell;
  }

  // Invalidate the cached handle for `id` when a shell-routed RPC
  // fails with a known transport error. Compares the caller's