Function sendHello

packages/plugin/src/tui/data/notification-socket.ts:150–161

(ws: WebSocket, token: string | null)

}

function sendHello(ws: WebSocket, token: string | null): void {
    const sessionId = opts?.getSessionId() ?? undefined;
    helloedSession = sessionId ?? null;
    ws.send(
        JSON.stringify({
            type: "hello",
            token: token ?? "",
            sessionId,
            lastReceivedId: lastHandledId,
        }),
    );
}

async function handleSocketMessage(ws: WebSocket, raw: string): Promise<void> {
    let msg: { type?: string; notification?: SocketNotification; error?: string };