cubicweb/server/repository.py
changeset 12016 88ed82a25f8a
parent 12012 f7ff5217a02f
child 12021 cc8135ecfbb8
--- a/cubicweb/server/repository.py	Mon Mar 06 15:13:44 2017 +0100
+++ b/cubicweb/server/repository.py	Tue Feb 21 08:56:38 2017 +0100
@@ -460,6 +460,7 @@
             # then, the system source is still available
             self.hm.call_hooks('before_server_shutdown', repo=self)
         self.shutting_down = True
+        self.info('shutting down repository')
         self.system_source.shutdown()
         if not (self.config.creating or self.config.repairing
                 or self.config.quick_start):