branch | stable |
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)