server/repository.py
branchstable
changeset 8238 087bb529035c
parent 8224 e35d4d4f7eb3
child 8239 c6cdd060212e
equal deleted inserted replaced
8235:c2a91d6639d8 8238:087bb529035c
   803 
   803 
   804     def get_shared_data(self, sessionid, key, default=None, pop=False, txdata=False):
   804     def get_shared_data(self, sessionid, key, default=None, pop=False, txdata=False):
   805         """return value associated to key in the session's data dictionary or
   805         """return value associated to key in the session's data dictionary or
   806         session's transaction's data if `txdata` is true.
   806         session's transaction's data if `txdata` is true.
   807 
   807 
   808         If pop is True, value will be removed from the dictionnary.
   808         If pop is True, value will be removed from the dictionary.
   809 
   809 
   810         If key isn't defined in the dictionnary, value specified by the
   810         If key isn't defined in the dictionary, value specified by the
   811         `default` argument will be returned.
   811         `default` argument will be returned.
   812         """
   812         """
   813         session = self._get_session(sessionid, setcnxset=False)
   813         session = self._get_session(sessionid, setcnxset=False)
   814         return session.get_shared_data(key, default, pop, txdata)
   814         return session.get_shared_data(key, default, pop, txdata)
   815 
   815