changeset 7377 | d8083b2ae4d6 |
parent 7278 | 1144a2d90314 |
parent 7374 | 3c9850d929e5 |
child 7412 | 9179ae452159 |
--- a/web/request.py Wed May 11 13:41:21 2011 +0200 +++ b/web/request.py Fri May 13 10:10:19 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):