Update WebSocketServer.py