file extension for websocket server .py