setMarker('Fin du script (append.php)');
$mem=memory_get_usage();
$memko=$mem/1024;
if ( LOG_BENCH == 'FILE' || LOG_BENCH == 'BOTH' ) {
$strInfo=DATETIME_LOG.';'.$mem.';'.$_SERVER["PHP_SELF"].';'.$_SERVER['QUERY_STRING']."\n";
$f = fopen( PATH_LOGS.'memory.log', 'a+' );
fwrite($f, $strInfo);
fclose($f);
}
if ( LOG_BENCH == 'WEB' || LOG_BENCH == 'BOTH' ) {
echo '
Mémoire utilisée par le script "'. $_SERVER['PHP_SELF'].'" = '.$mem . " octets ($memko ko)";
echo "
Temps d'exécution de la page :
";
$timer->display();
}
}
?>