From aa281450bd8556ad04b20118d9bca53fdd65473a Mon Sep 17 00:00:00 2001
From: Fil <fil@rezo.net>
Date: Thu, 23 Oct 2003 23:53:38 +0000
Subject: [PATCH] logout
---
spip_cookie.php3 | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/spip_cookie.php3 b/spip_cookie.php3
index 39cf06a620..b37dafff37 100644
--- a/spip_cookie.php3
+++ b/spip_cookie.php3
@@ -42,7 +42,7 @@ if ($change_session == 'oui') {
// tentative de connexion en auth_http
-if ($essai_auth_http) {
+if ($essai_auth_http AND !$ignore_auth_http) {
include_local ("inc-login.php3");
auth_http($cible, $essai_auth_http);
exit;
@@ -58,7 +58,7 @@ if ($logout) {
zap_sessions($auteur_session['id_auteur'], true);
spip_setcookie('spip_session', $spip_session, time() - 3600 * 24);
}
- if ($PHP_AUTH_USER) {
+ if ($PHP_AUTH_USER AND !$ignore_auth_http) {
include_local ("inc-login.php3");
auth_http($cible, 'logout');
}
--
GitLab