permettre le logout a partir de l'espace public

(via spip_cookie.php3?logout=$LOGIN&url=$URL
$LOGIN est le login de l'utilisateur à deloger
$URL l'adresse de la page ou l'on envoie après delogement)

spip_cookie.php3

@@ -56,7 +56,11 @@ if ($logout) {
 		}
 		unset ($auteur_session);
 	}
-	@Header("Location: ./spip_login.php3");
+
+	if ($url)
+		@Header("Location: $url");
+	else // plus rapide
+		@Header("Location: ./spip_login.php3");
 	exit;
 }