server/session.py
changeset 9707 4a23058e4d9f
parent 9684 a6b084ea4c5b
child 9721 2f08bd4c813b
--- a/server/session.py	Thu Apr 24 17:52:20 2014 +0200
+++ b/server/session.py	Mon Apr 28 12:54:14 2014 +0200
@@ -593,6 +593,7 @@
             if new_cnxset is old_cnxset:
                 return #nothing to do
             if old_cnxset is not None:
+                old_cnxset.rollback()
                 self._cnxset = None
                 self.ctx_count -= 1
                 self._cnxset_tracker.forget(self.connectionid, old_cnxset)