diff -r c25b96ae4f8a -r 77c7158916c1 server/repository.py --- 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: