server/session.py
branchstable
changeset 4503 f2b592b1d34c
parent 4500 81021d62138f
child 4510 8dc44329f5c8
child 4515 e8835c68f581
--- a/server/session.py	Mon Feb 08 13:33:09 2010 +0100
+++ b/server/session.py	Mon Feb 08 13:42:22 2010 +0100
@@ -475,7 +475,10 @@
                     for operation in processed:
                         operation.handle_event('revert%s_event' % trstate)
                     # res
-                    self.pending_operations[:] = processed + self.pending_operations
+
+                    # XXX self.pending_operations is supposed to be
+                    # read-only, and we are clearly modifying it here.
+                    self.pending_operations[:] = processed + self.pending_operations 
                     self.rollback(reset_pool)
                     raise
             self.pool.commit()