Update WebSocketServer.class.php