[web session] fix potential key error on logout (occurs once the session has been transparently reconnected, hence session.sessionid and session.cnx.sessionid differs)
--- a/web/application.py Thu May 06 14:27:57 2010 +0200
+++ b/web/application.py Thu May 06 14:26:47 2010 +0200
@@ -270,7 +270,7 @@
"""logout from the instance by cleaning the session and raising
`AuthenticationError`
"""
- self.session_manager.close_session(req.cnx)
+ self.session_manager.close_session(req.session)
req.remove_cookie(req.get_cookie(), self.SESSION_VAR)
raise LogOut(url=goto_url)