https://bugzilla.wikimedia.org/show_bug.cgi?id=32122
--- Comment #16 from Dan Nessett <[email protected]> 2011-11-10 22:47:48 UTC --- (In reply to comment #15) > (In reply to comment #11) > > A symptom of the problem is the session data retains wsEditToken after the > > page > > is saved. That is, the session file contains the same value before and after > > the save page operation. > > In other words: the session didn't expire. So the session didn't change but > it > was saved as an ip? No. I still cannot reproduce the problem given in the original description, i.e., edits attributed to IP addresses not users when anonymous editing is disallowed (but evidence of it exists in page histories on our live wikis). The symptom described in comment 11 is, as you state, the session should expire, but it doesn't. I don't understand the use of the session data well enough to determine if retention of the wsEditToken data in the session data after a page save is appropriate or not. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
