in websocket-server/src/sessionManager.ts [280:283]
function jsonSend(ws: WebSocket | undefined, obj: unknown) { if (!isOpen(ws)) return; ws.send(JSON.stringify(obj)); }