web/request.py
changeset 11339 67373614e125
parent 11172 5a19524e59e1
child 11440 8388b37720e1
equal deleted inserted replaced
11338:dde85a5d47fc 11339:67373614e125
   882         """
   882         """
   883         if key is None:
   883         if key is None:
   884             self.session.data.pop(self.pageid, None)
   884             self.session.data.pop(self.pageid, None)
   885         else:
   885         else:
   886             try:
   886             try:
   887                 del self.session.data[self.pageid][key]
   887                 page_data = self.session.data[self.pageid]
       
   888                 del page_data[key]
   888             except KeyError:
   889             except KeyError:
   889                 pass
   890                 pass
       
   891             else:
       
   892                 # make sure we write the session data value in the
       
   893                 # self.session.data dict-like object so any session
       
   894                 # handler can "detect" and manage the persistency
       
   895                 self.session.data[self.pageid] = page_data
   890 
   896 
   891     # user-agent detection ####################################################
   897     # user-agent detection ####################################################
   892 
   898 
   893     @cached
   899     @cached
   894     def useragent(self):
   900     def useragent(self):