web/request.py
changeset 7377 d8083b2ae4d6
parent 7278 1144a2d90314
parent 7374 3c9850d929e5
child 7412 9179ae452159
equal deleted inserted replaced
7368:f1d9e3b9e51e 7377:d8083b2ae4d6
   114         new one.
   114         new one.
   115         """
   115         """
   116         pid = self.form.get('pageid')
   116         pid = self.form.get('pageid')
   117         if pid is None:
   117         if pid is None:
   118             pid = make_uid(id(self))
   118             pid = make_uid(id(self))
       
   119             self.html_headers.define_var('pageid', pid, override=False)
   119         self.pageid = pid
   120         self.pageid = pid
   120         self.html_headers.define_var('pageid', pid, override=False)
       
   121 
   121 
   122     @property
   122     @property
   123     def authmode(self):
   123     def authmode(self):
   124         return self.vreg.config['auth-mode']
   124         return self.vreg.config['auth-mode']
   125 
   125