server/session.py
branchstable
changeset 5802 159b6a712d9d
parent 5792 e13aa4786a72
child 5811 e77cea9721e7
child 5813 0b250d72fcfa
--- a/server/session.py	Sun Jun 20 15:09:42 2010 +0000
+++ b/server/session.py	Mon Jun 21 08:52:13 2010 +0200
@@ -283,6 +283,8 @@
         try:
             return source.doexec(self, sql, args, rollback=rollback_on_failure)
         except (source.OperationalError, source.InterfaceError):
+            if not rollback_on_failure:
+                raise
             source.warning("trying to reconnect")
             self.pool.reconnect(source)
             return source.doexec(self, sql, args, rollback=rollback_on_failure)