<?php
if ( LOG_BENCH != 'NONE')
{
	$timer->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 '<br/><hr><br/>Mémoire utilisée par le script "'. $_SERVER['PHP_SELF'].'" = '.$mem . " octets ($memko ko)";
		echo "<br/>Temps d'exécution de la page :<br/>";
		$timer->display();
	}
}
?>