# WebSocket manager