James E. Blair 6767905a47 Fix graceful exit ... When the gearman server was added, the exit handler was not updated correctly. It should tell the scheduler to exit, wait for the scheduler to empty its pipelines, and then kill the gearman server and exit. Change-Id: Ie0532c2ea058ed56217e41641f8eec45080a9470		2013-08-27 09:01:31 -07:00
..
__init__.py	Use entrypoints for zuul-server.	2012-11-27 00:44:41 +00:00
server.py	Fix graceful exit	2013-08-27 09:01:31 -07:00