scores/extranet
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Ajout d'un dossier debug et séparation timer

Browse Source
This commit is contained in:
Michael RICOIS 2009-07-21 14:43:35 +00:00
parent 288a87c184
commit 5730ef9be4
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
includes/debug/bench.php Normal file
View File

@ -0,0 +1,16 @@
<?php
/**
* Fonction globale récupérant le microtime de la machine en format float.
* @return float Valeur courante du microtime() de la machine en format décimal
*/
function getmicrotime(){
list($usec, $sec) = explode (' ', microtime());
return ( (float)$sec + (float)$usec );
}
if ( LOG_BENCH != 'NONE'){
require_once ('Benchmark/Timer.php');
$timer = new Benchmark_Timer();
$timer->start();
$timer->setMarker('Debut du script (prepend.php)');
}