changeset 12027 | c62c80f20a82 |
parent 11774 | 51c160677afe |
child 12060 | 0cdf5fafd234 |
--- a/cubicweb/devtools/__init__.py Fri Mar 10 12:07:29 2017 +0100 +++ b/cubicweb/devtools/__init__.py Fri Mar 10 18:24:40 2017 +0100 @@ -108,7 +108,6 @@ * system source is shutdown """ if not repo._needs_refresh: - repo.close_sessions() for cnxset in repo.cnxsets: cnxset.close(True) repo.system_source.shutdown()