From 5c498b6a89025ba30c1e36abd6dbc57b7d6429af Mon Sep 17 00:00:00 2001 From: benoitc Date: Wed, 1 Sep 2010 10:30:30 +0200 Subject: [PATCH] do the same for others. --- gunicorn/workers/ggevent.py | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/gunicorn/workers/ggevent.py b/gunicorn/workers/ggevent.py index bf3f5a84..7d50f564 100644 --- a/gunicorn/workers/ggevent.py +++ b/gunicorn/workers/ggevent.py @@ -122,20 +122,16 @@ class GeventBaseWorker(Worker): if self.ppid != os.getppid(): self.log.info("Parent changed, shutting down: %s" % self) - server.stop() break - gevent.sleep(0.1) + gevent.sleep(0.1) + + self.notify() + server.stop(timeout=self.timeout) + except gevent.GreenletExit: + pass except KeyboardInterrupt: pass - server.stop(timeout=self.timeout) - - def handle_request(self, *args): - try: - super(GeventBaseWorker, self).handle_request(*args) - except gevent.GreenletExit: - pass - class WSGIHandler(wsgi.WSGIHandler): def log_request(self, *args):