changeset 8809 | 9ee4d0c65ad2 |
parent 8773 | 21edcb0a5ed7 |
child 9020 | cb87e831c183 |
--- a/devtools/repotest.py Tue Mar 26 15:26:29 2013 +0100 +++ b/devtools/repotest.py Wed Mar 27 19:54:36 2013 +0100 @@ -311,7 +311,8 @@ del self.repo.sources_by_uri[source.uri] undo_monkey_patch() for session in self._dumb_sessions: - session._tx.cnxset = None + if session._tx.cnxset is not None: + session._tx.cnxset = None session.close() def _prepare_plan(self, rql, kwargs=None):