# HG changeset patch # User Julien Cristau # Date 1386180883 -3600 # Node ID aa8be290374eda499f8bdd41844e039689269012 # Parent 26c979b2419670fcd0afd7b13073f57deed244ad [server/pyro] try to shutdown the repository properly If RepositoryServer.trigger_events is not called we might miss a QuitEvent and thus never shutdown the repository and its looping tasks. diff -r 26c979b24196 -r aa8be290374e server/server.py --- a/server/server.py Wed Dec 11 16:56:18 2013 +0100 +++ b/server/server.py Wed Dec 04 19:14:43 2013 +0100 @@ -109,7 +109,8 @@ self.daemon.handleRequests(req_timeout) except select.error: continue - self.trigger_events() + finally: + self.trigger_events() def quit(self): """stop the server"""