From 9a7a02ee28bb8757ae0cfaec3f87dd141dd933fe Mon Sep 17 00:00:00 2001
From: "dkl%redhat.com" <dkl%redhat.com@18797224-902f-48f8-a5cc-f745e15eee43>
Date: Fri, 18 Jan 2002 20:04:32 +0000
Subject: [PATCH] Fix for bug 120817 - Log Out and %commandmenu% in bannerhtml,
 r=justdave,dkl

git-svn-id: svn://10.0.0.236/trunk@112446 18797224-902f-48f8-a5cc-f745e15eee43
---
 mozilla/webtools/bugzilla/relogin.cgi | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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 "<B>Your login has been forgotten</B>.</P>
@@ -41,8 +46,6 @@ do an action that requires a login, you will be prompted for it.
 <p>
 ";
 
-delete $::COOKIE{"Bugzilla_login"};
-
 PutFooter();
 
 exit;