diff --git a/inc-public-global.php3 b/inc-public-global.php3 index 7a6a02b7c491c4cba314511419994b6f47c701fa..615a720985d4e5e6f2c05869345a7224225a3ec2 100644 --- a/inc-public-global.php3 +++ b/inc-public-global.php3 @@ -165,6 +165,12 @@ else { // envoyer la page if (file_exists($chemin_cache) && ($HTTP_SERVER_VARS['REQUEST_METHOD'] != 'HEAD')) { include($chemin_cache); +} else { + // message d'erreur base de donnees + include_ecrire('inc_presentation.php3'); + install_debut_html(_T('info_travaux_titre')); + echo "<p>"._T('titre_probleme_technique')."</p>\n"; + install_fin_html(); }