server/session.py
branchstable
changeset 5791 274a5a6080a7
parent 5701 41119f034735
child 5792 e13aa4786a72
equal deleted inserted replaced
5789:0f969e5c579a 5791:274a5a6080a7
   283         source = self.pool.source('system')
   283         source = self.pool.source('system')
   284         try:
   284         try:
   285             return source.doexec(self, sql, args, rollback=rollback_on_failure)
   285             return source.doexec(self, sql, args, rollback=rollback_on_failure)
   286         except (source.OperationalError, source.InterfaceError):
   286         except (source.OperationalError, source.InterfaceError):
   287             source.warning("trying to reconnect")
   287             source.warning("trying to reconnect")
   288             self.pool.reconnect(self)
   288             self.pool.reconnect(source)
   289             return source.doexec(self, sql, args, rollback=rollback_on_failure)
   289             return source.doexec(self, sql, args, rollback=rollback_on_failure)
   290 
   290 
   291     def set_language(self, language):
   291     def set_language(self, language):
   292         """i18n configuration for translation"""
   292         """i18n configuration for translation"""
   293         vreg = self.vreg
   293         vreg = self.vreg