diff --git a/fonctions.php b/fonctions.php index 0088e00..db738a4 100644 --- a/fonctions.php +++ b/fonctions.php @@ -111,7 +111,7 @@ function is_error($cerr) function is_user() { - return isset($_SERVER['REMOTE_USER']) || (isset($_SESSION['nom'])); + return ( USE_REMOTE_USER && isset($_SERVER['REMOTE_USER']) ) || (isset($_SESSION['nom'])); } diff --git a/infos_sondage.php b/infos_sondage.php index 9c56dea..1384d1a 100644 --- a/infos_sondage.php +++ b/infos_sondage.php @@ -192,7 +192,7 @@ if ($erreur_injection_commentaires) { echo ''."\n"; echo '