server/session.py
changeset 9482 5b97e69f9c29
parent 9479 f13fbab0c718
child 9493 852f5ac90cd9
equal deleted inserted replaced
9481:7e35d62c67a9 9482:5b97e69f9c29
  1168             return source.doexec(self, sql, args, rollback=rollback_on_failure)
  1168             return source.doexec(self, sql, args, rollback=rollback_on_failure)
  1169         except (source.OperationalError, source.InterfaceError):
  1169         except (source.OperationalError, source.InterfaceError):
  1170             if not rollback_on_failure:
  1170             if not rollback_on_failure:
  1171                 raise
  1171                 raise
  1172             source.warning("trying to reconnect")
  1172             source.warning("trying to reconnect")
  1173             self.cnxset.reconnect(source)
  1173             self.cnxset.reconnect()
  1174             return source.doexec(self, sql, args, rollback=rollback_on_failure)
  1174             return source.doexec(self, sql, args, rollback=rollback_on_failure)
  1175 
  1175 
  1176     @_open_only
  1176     @_open_only
  1177     def rtype_eids_rdef(self, rtype, eidfrom, eidto):
  1177     def rtype_eids_rdef(self, rtype, eidfrom, eidto):
  1178         # use type_and_source_from_eid instead of type_from_eid for optimization
  1178         # use type_and_source_from_eid instead of type_from_eid for optimization