in websocket-server/src/sessionManager.ts [268:270]
function cleanupConnection(ws?: WebSocket) { if (isOpen(ws)) ws.close(); }