diff -r e5e6ef56cfb5 -r 3c9850d929e5 web/request.py --- a/web/request.py Wed May 11 19:03:16 2011 +0200 +++ b/web/request.py Thu May 12 10:22:17 2011 +0200 @@ -116,8 +116,8 @@ pid = self.form.get('pageid') if pid is None: pid = make_uid(id(self)) + self.html_headers.define_var('pageid', pid, override=False) self.pageid = pid - self.html_headers.define_var('pageid', pid, override=False) @property def authmode(self):