Method #invalidateHandle

packages/computer/src/workspace.ts:685–690

(id: string, handle: BackendHandle)

  // not be clobbered. Returns true if the cached entry was the one
  // we removed.
  #invalidateHandle(id: string, handle: BackendHandle): boolean {
    if (this.#handles.get(id) !== handle) return false;
    this.#handles.delete(id);
    this.#shells.delete(id);
    return true;
  }

  // Wrap an RPC-backed operation so a transport failure invalidates
  // the cached handle before the error rethrows. Non-transport