changeset 8393 | 77c7158916c1 |
parent 8366 | 6599f69bb846 |
child 8433 | ff9d6d269877 |
--- a/server/repository.py Wed May 09 16:35:46 2012 +0200 +++ b/server/repository.py Wed May 09 16:43:48 2012 +0200 @@ -425,6 +425,10 @@ connections """ assert not self.shutting_down, 'already shutting down' + if not (self.config.creating or self.config.repairing + or self.config.quick_start): + # then, the system source is still available + self.hm.call_hooks('before_server_shutdown', repo=self) self.shutting_down = True self.system_source.shutdown() if self._tasks_manager is not None: