Python WebSocket server written in Python