Soyez le premier à donner votre avis sur cette source.
Snippet vu 5 258 fois - Téléchargée 30 fois
<?php function getmicrotime() { // Cette fonction récuperre l'heure en microsecondes list($usec, $sec) = explode(" ", microtime()); return ($usec + $sec); } $starttime = getmicrotime(); ?> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><!-- Ne pas oublier ;-) --> <html> <head> <title>Temps d'exécution</title> </head> <body>... <?php // Votre code à vous :) // ... ?> Blablabla... <?php $exectime = round((getmicrotime() - $starttime) * 100) / 100; echo "Cette page a mit " . $exectime . " secondes à s'exécuter"; ?> </body> </html>
$exectime = round((getmicrotime() - $starttime) * 100) / 100;
si tu voilais arrondir a 2 chiffres apres la virgule, ça aurait été plus simple ainsi :
$exectime = round((getmicrotime() - $starttime), 2);
extrait de http://fr3.php.net/round
Il me plait ton code, mais moi je débute en php et je me demande comment faire pour stocker tous les temps d'exécution d'une page dans un fichier texte qui se trouvera sur mon serveur. Comment faire cela ?
Ca me permettra alors de connaitre le temps d'exécution moyen d'une page (ma page d'accueil).
Merci !
Pyroflo
http://www.abcpyro.fr.st
Vous n'êtes pas encore membre ?
inscrivez-vous, c'est gratuit et ça prend moins d'une minute !
Les membres obtiennent plus de réponses que les utilisateurs anonymes.
Le fait d'être membre vous permet d'avoir un suivi détaillé de vos demandes et codes sources.
Le fait d'être membre vous permet d'avoir des options supplémentaires.