server/session.py
changeset 9934 e32964e28a45
parent 9774 b7b71be569cf
child 9979 9ccdb3751fbe
equal deleted inserted replaced
9933:3674f249ab1d 9934:e32964e28a45
   530         return self
   530         return self
   531 
   531 
   532     def __exit__(self, exctype=None, excvalue=None, tb=None):
   532     def __exit__(self, exctype=None, excvalue=None, tb=None):
   533         assert self._open # actually already open
   533         assert self._open # actually already open
   534         assert self._cnxset_count == 0
   534         assert self._cnxset_count == 0
   535         self._free_cnxset(ignoremode=True)
   535         self.rollback()
   536         self.clear()
       
   537         self._open = False
   536         self._open = False
   538 
   537 
   539 
   538 
   540 
   539 
   541     # shared data handling ###################################################
   540     # shared data handling ###################################################