diff --git a/inc-cache.php3 b/inc-cache.php3 index 2e82dd9107bc501c8e16eba9df68e0cb0aded9ef..7a973fce6a637b123234197b477513dce269993e 100644 --- a/inc-cache.php3 +++ b/inc-cache.php3 @@ -89,6 +89,8 @@ function ramener_squelette($squelette) $r = calculer_squelette($r, $nom, $e); $timer_b = explode(" ", microtime()); $timer = ceil(1000*($timer_b[0] + $timer_b[1]-$timer_a[0]-$timer_a[1])); + + if (file_exists($phpfile)) unlink($phpfile); // eviter tout probleme de duplication de contenu !! $f=fopen($phpfile, "wb"); fwrite($f,"<?php # $squelette pid: " . getmypid() ."\n"); fwrite($f,$r);