server/__init__.py
changeset 4766 162b2b127b15
parent 4759 af2e6c377c71
child 4831 c5aec27c1bf7
--- a/server/__init__.py	Wed Mar 03 17:59:05 2010 +0100
+++ b/server/__init__.py	Wed Mar 03 18:30:25 2010 +0100
@@ -200,6 +200,7 @@
     cnx.commit()
     cnx.close()
     session.close()
+    repo.shutdown()
     # restore initial configuration
     config.creating = False
     config.read_instance_schema = read_instance_schema