rem: res.message = gettext("Good bye, {0}! Lookin' forward to seeing you again!", session.user.name); session.logout(); delete session.data.referrer; res.setCookie(User.COOKIE, String.EMPTY); res.setCookie(User.HASHCOOKIE, String.EMPTY); 
add: res.message = gettext("Good bye, {0}! Lookin' forward to seeing you again!", session.user.name); User.logout(); 
context: Members.prototype.logout_action = function() {   if (session.user) {     res.message = gettext("Good bye, {0}! Lookin' forward to seeing you again!",            session.user.name);     session.logout();     delete session.data.referrer;     res.setCookie(User.COOKIE, String.EMPTY);     res.setCookie(User.HASHCOOKIE, String.EMPTY);   }   res.redirect(this._parent.href());   return;};
meta: 993	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/993/3d0fae4302b944a61894fbad9cb3eb06f72984a3/Members.js/buggy/code/Members/Members.js