devtools/repotest.py
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):