Function watchSession

packages/plugin/src/tui/data/notification-socket.ts:219–229

Cheap session-change watcher: re-scope the socket only when the active session * actually changes. Reads a property; no network at idle.

()

/** Cheap session-change watcher: re-scope the socket only when the active session
 *  actually changes. Reads a property; no network at idle. */
function watchSession(): void {
    if (closed || !socket || socket.readyState !== WebSocket.OPEN) return;
    const current = opts?.getSessionId() ?? null;
    if (current === helloedSession) return;
    // Re-hello with the new session; the server replaces this socket's sink scope.
    const client = getRpcClient();
    void client?.resolveEndpoint().then((endpoint) => {
        if (!socket || socket.readyState !== WebSocket.OPEN) return;
        sendHello(socket, endpoint?.token ?? null);
    });
}