microtime

microtime

le 09/12/2004 à 01:36

bibi

bijour alors j'ai cette fonction que j'ai récupéré sur la doc php...

function getmicrotime(){

    list($usec, $sec) = explode(" ",microtime());

    return ((float)$usec + (float)$sec);

    }

je m'en sers comme ceci

$time_debut = getmicrotime();



//page



$time_fin = getmicrotime();



$duree = $time_fin - $time_debut;



echo "Script exécuté en $duree secondes";

et ca m'affiche un truc du style:

Script exécuté en 3.7413330078125 secondes

je voudrais savoir comment faire pour réduire le nombre de chiffres apres la virgule
merci bien j'ai cherché mais jvois pas komen on peut trop faire

:(

commit suicide

Citer ce message