diff --git a/inc-public-global.php3 b/inc-public-global.php3 index 615a720985d4e5e6f2c05869345a7224225a3ec2..255572bb480cc2d5106a30c859e39790d569d262 100644 --- a/inc-public-global.php3 +++ b/inc-public-global.php3 @@ -165,7 +165,7 @@ else { // envoyer la page if (file_exists($chemin_cache) && ($HTTP_SERVER_VARS['REQUEST_METHOD'] != 'HEAD')) { include($chemin_cache); -} else { +} else if (!$flag_preserver) { // message d'erreur base de donnees include_ecrire('inc_presentation.php3'); install_debut_html(_T('info_travaux_titre'));