--- docman.php	2001/12/17 10:00:51	1.51
+++ docman.php	2002/01/10 18:33:43	1.52
@@ -184,6 +184,7 @@
 	}
 	if (isset($PHP_AUTH_USER) && $PHP_AUTH_USER != "" && ($PHP_AUTH_PW == "" || !isset($PHP_AUTH_PW))) {
 		$url_title="login";
+		$url .= "&force_login=1";
 	} else {
 		$url_title="relogin";
 	}
@@ -195,7 +196,7 @@
 <br>
 &copy; 1999 by <A HREF="http://www.anyportal.com">ANYPORTAL</A>,
 &copy; 2000 by <A HREF="http://da.nger.org">d@nger.org</A>,
-&copy; 2000 by <A HREF="http://www.rot13.org/~dpavlin/">DbP</A>
+&copy; 2000-2002 by <A HREF="http://www.rot13.org/~dpavlin/">DbP</A>
 </small>
 </P>
 <BR>
@@ -1267,7 +1268,7 @@
 			)
 		) && (
 			$PHP_AUTH_PW == "" || !isset($PHP_AUTH_PW)
-		)
+		) && !isset($force_login)
 	   ) {
 		StartHTML("Logout completed","Your login credentials has been erased") ;
 		EndHTML() ;
@@ -1277,7 +1278,8 @@
 	// authentication failure
 	if ( md5($PHP_AUTH_USER.$PHP_AUTH_PW) != $gblPw ||
 		isset($relogin) && $gblPw == $relogin) {
-		header("WWW-authenticate: basic realm=\"$HTTP_HOST\"") ;
+		$realm="$HTTP_HOST";
+		header("WWW-authenticate: basic realm=\"$realm\"") ;
 		header("HTTP/1.0 401 Unauthorized") ;
 		NoEntry() ;
 		exit ;