diff --git a/ecrire/inc_invalideur.php3 b/ecrire/inc_invalideur.php3 index 34ca81bfe7f812d3ef2030104184446538315177..06aa8a68e5629699412135c2867f52b4469ee61e 100644 --- a/ecrire/inc_invalideur.php3 +++ b/ecrire/inc_invalideur.php3 @@ -60,10 +60,12 @@ function retire_cache($cache) { if ($GLOBALS['flag_ecrire']) return; # spip_log("kill $cache ?"); if (preg_match( - "|^CACHE(/[0-9a-f])?(/[0-9]+)?/[^.][\-_\%0-9a-z]+\.[0-9a-f]+$|i", - $cache)) + "|^CACHE(/[0-9a-f])?(/[0-9]+)?/[^.][\-_\%0-9a-z]+\.[0-9a-f]+(\.gz)?$|i", + $cache)) { @unlink($cache); // supprimer le fichier @unlink($cache.'.NEW'); // et le fichier compagnon s'il existe + } else + spip_log("Impossible de retirer $cache"); } // Supprimer les caches marques "x"