server/session.py
changeset 4510 8dc44329f5c8
parent 4506 5b99f4a9f8ef
parent 4503 f2b592b1d34c
child 4517 0f3c10fc42b2
--- a/server/session.py	Mon Feb 08 21:22:10 2010 +0100
+++ b/server/session.py	Mon Feb 08 21:27:30 2010 +0100
@@ -485,7 +485,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()