equal
deleted
inserted
replaced
94 """ |
94 """ |
95 pid = self.form.get('pageid') |
95 pid = self.form.get('pageid') |
96 if pid is None: |
96 if pid is None: |
97 pid = make_uid(id(self)) |
97 pid = make_uid(id(self)) |
98 self.pageid = pid |
98 self.pageid = pid |
99 self.html_headers.define_var('pageid', pid) |
99 self.html_headers.define_var('pageid', pid, override=False) |
100 |
100 |
101 def set_connection(self, cnx, user=None): |
101 def set_connection(self, cnx, user=None): |
102 """method called by the session handler when the user is authenticated |
102 """method called by the session handler when the user is authenticated |
103 or an anonymous connection is open |
103 or an anonymous connection is open |
104 """ |
104 """ |