the only problem I can see is that the interface is not refreshed to notify the
user that his session has expired.
But I dont see any easy way to handle this unless we carry some kind of extra
parameter via ajax which would let the php side know the user's interface is
"out-of-date" and would then trigger a template refresh.

In my opinion, too much work for too little benefit and since no more error are
reported, it would only be an improvement -> wontfix



------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.


Please do NOT reply to this email, use the link above instead to
login to bugzilla and submit your comment. Any email reply to this
address will be lost.