diff -r ec9c20c6b9f7 -r 162b2b127b15 server/__init__.py
--- 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