An HTML5 WebSocket client