server/querier.py
changeset 4532 85116e75f561
parent 4252 6c4f109c2b03
child 4533 05eadf88b797
equal deleted inserted replaced
4531:530a5997d51b 4532:85116e75f561
   664             # security is done after changes but in an operation, and exception
   664             # security is done after changes but in an operation, and exception
   665             # generated in operation's events  properly generate a rollback on
   665             # generated in operation's events  properly generate a rollback on
   666             # the session). Even though, this is done here for a better
   666             # the session). Even though, this is done here for a better
   667             # consistency: getting an Unauthorized exception means the
   667             # consistency: getting an Unauthorized exception means the
   668             # transaction has been rollbacked
   668             # transaction has been rollbacked
   669             session.rollback()
   669             #
       
   670             # notes:
       
   671             # * we should not reset the pool here, since we don't want the
       
   672             #   session to loose its pool during processing
       
   673             # * don't rollback if we're in the commit process, will be handled
       
   674             #   by the session
       
   675             if session.commit_state is None:
       
   676                 session.rollback(reset_pool=False)
   670             raise
   677             raise
   671         # build a description for the results if necessary
   678         # build a description for the results if necessary
   672         descr = ()
   679         descr = ()
   673         if build_descr:
   680         if build_descr:
   674             if rqlst.TYPE == 'select':
   681             if rqlst.TYPE == 'select':