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()