server/repository.py
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: