Update http_server_gevent.py