(id: string, handle: BackendHandle, error: unknown)
| 955 | // operation against an old handle can't clobber a newer one that |
| 956 | // a concurrent reconnect already installed. |
| 957 | #onShellError(id: string, handle: BackendHandle, error: unknown): void { |
| 958 | if (!isWorkspaceTransportFailure(error)) return; |
| 959 | this.#invalidateHandle(id, handle); |
| 960 | } |
| 961 | } |
| 962 | |
| 963 | function positiveRetryOption(value: number | undefined, fallback: number, name: string): number { |
no test coverage detected