branch | stable |
changeset 3838 | 9cc134372bf8 |
parent 3816 | 37b376bb4088 |
child 3890 | d7a270f50f54 |
child 4212 | ab6573088b4a |
--- a/web/request.py Fri Nov 13 09:16:28 2009 +0100 +++ b/web/request.py Fri Nov 13 10:47:26 2009 +0100 @@ -96,7 +96,7 @@ if pid is None: pid = make_uid(id(self)) self.pageid = pid - self.html_headers.define_var('pageid', pid) + self.html_headers.define_var('pageid', pid, override=False) def set_connection(self, cnx, user=None): """method called by the session handler when the user is authenticated