devtools/testlib.py
changeset 5752 b0bb553e3be4
parent 5557 1a534c596bff
parent 5751 1e5ef464cade
child 5811 e77cea9721e7
--- a/devtools/testlib.py	Mon Jun 14 12:13:46 2010 +0200
+++ b/devtools/testlib.py	Tue Jun 15 18:16:19 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()