<?php // //VGR14042001 Creation //VGR24112002 ADDed sécurité pour mode globDisc // // // ----------------------------- FORUM ----------------------------------- // function myTime() { // en secondes $loc1=microtime(); $loc2 = (double)substr (strrchr ($loc1, ' '), 1); // secondes entières $loc3 = (double)substr ($loc1, 1,strpos($loc1,' ')); // fraction de seconde = 0.xxx $loc2 = (double)$loc2+$loc3; return $loc2; } function TimerStart() { GLOBAL $_SESSION; $_SESSION['TTime']=myTime(); } // TimerStart Procedure function TimerStop($parDisp=FALSE) { // and display GLOBAL $_SESSION; $locTime=myTime()-$_SESSION['TTime']; // en secondes //VGR14042001 BUGFIX // il y a un bug dans la fonction de base : la seconde n'est pas incrémentée correctement. if ($locTime<0) $locTime=1.0+$locTime; //EoFIX $locTime=round(1000.0*$locTime,5); // millisecondes arrondies à la 5ème décimale if ($parDisp) echo " <CENTER><font size=-2>page generated in $locTime milliseconds</font></CENTER>"; return($locTime); } // TimerStop Integer (ms) Function ?>

TimerStart(); mysql_query(etc etc etc); $timeused=TimerStop(TRUE); // will display a message // or $timeused=TimerStop(FALSE); echo "the query executed in $timeused milliseconds";