diff --git a/mozilla/webtools/bugzilla/relogin.cgi b/mozilla/webtools/bugzilla/relogin.cgi index cafb5b93a0c..44fae4cc120 100755 --- a/mozilla/webtools/bugzilla/relogin.cgi +++ b/mozilla/webtools/bugzilla/relogin.cgi @@ -33,6 +33,11 @@ Set-Cookie: Bugzilla_logincookie= ; path=$cookiepath; expires=Sun, 30-Jun-80 00: Content-type: text/html "; + +# delete the cookie before dumping the header so that it shows the user +# as logged out if %commandmenu% is in the header +delete $::COOKIE{"Bugzilla_login"}; + PutHeader ("Relogin"); print "Your login has been forgotten.
@@ -41,8 +46,6 @@ do an action that requires a login, you will be prompted for it."; -delete $::COOKIE{"Bugzilla_login"}; - PutFooter(); exit;