server/session.py
changeset 5048 bf8a53a11b6d
parent 5046 d010f749c21d
child 5069 135c5d7b89d0
equal deleted inserted replaced
5047:ed048e317eae 5048:bf8a53a11b6d
   551             self.repo._free_pool(pool)
   551             self.repo._free_pool(pool)
   552 
   552 
   553     def _touch(self):
   553     def _touch(self):
   554         """update latest session usage timestamp and reset mode to read"""
   554         """update latest session usage timestamp and reset mode to read"""
   555         self.timestamp = time()
   555         self.timestamp = time()
   556         self.local_perm_cache.clear()
   556         self.local_perm_cache.clear() # XXX simply move in transaction_data, no?
   557         self._threaddata.mode = self.default_mode
   557         self._threaddata.mode = self.default_mode
   558 
   558 
   559     # shared data handling ###################################################
   559     # shared data handling ###################################################
   560 
   560 
   561     def get_shared_data(self, key, default=None, pop=False):
   561     def get_shared_data(self, key, default=None, pop=False):