devtools/testlib.py
branchstable
changeset 5751 1e5ef464cade
parent 5426 0d4853a6e5ee
child 5752 b0bb553e3be4
child 5778 1a4ac9e2ce63
--- a/devtools/testlib.py	Tue Jun 15 18:00:29 2010 +0200
+++ b/devtools/testlib.py	Tue Jun 15 18:00:30 2010 +0200
@@ -83,6 +83,9 @@
 
 
 def refresh_repo(repo, resetschema=False, resetvreg=False):
+    for pool in repo.pools:
+        pool.close(True)
+    repo.system_source.shutdown()
     devtools.reset_test_database(repo.config)
     for pool in repo.pools:
         pool.reconnect()