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