WebSockets push server based on gevent-websocket library