interdire de cacher les pages d'admin (pour les proxies)

inc-public-global.php3

@@ -163,7 +163,7 @@ $effacer_cache |= $ecraser_cache;	// ecraser le cache de l'article x s'il n'est
 // Envoyer les entetes
 $headers_only = ($HTTP_SERVER_VARS['REQUEST_METHOD'] == 'HEAD');
 if ($HTTP_SERVER_VARS['REQUEST_METHOD'] == 'HEAD') $flag_dynamique = true;
-if (!$effacer_cache && !$flag_dynamique && $recalcul != 'oui') {
+if (!$effacer_cache && !$flag_dynamique && $recalcul != 'oui' && !!$HTTP_COOKIE_VARS['spip_admin']) {
 	if ($lastmodified) {
 		$gmoddate = gmdate("D, d M Y H:i:s", $lastmodified);
 		@Header ("Last-Modified: ".$gmoddate." GMT");
@@ -234,9 +234,7 @@ if (!file_exists("CACHE/.htaccess")) {
 // Fonctionnalites administrateur (declenchees par le cookie admin, authentifie ou non)
 //
 
-$cookie_admin = $HTTP_COOKIE_VARS['spip_admin'];
-$admin_ok = ($cookie_admin != '');
-if ($admin_ok AND !$flag_preserver AND !$flag_boutons_admin) {
+if ($HTTP_COOKIE_VARS['spip_admin'] AND !$flag_preserver AND !$flag_boutons_admin) {
 	include_local("inc-admin.php3");
 	afficher_boutons_admin();
 }