Tempo generazione pagina
Lunedì, 5 Maggio 2008Se volete visualizzare nella vostra pagina il tempo in cui viene generata una pagina
(non stampata a video al navigatore), ecco cosa dovrete fare:
- Dopo il tag <body> inserite il seguente codice:
<?
function tempo(){
$tempo = microtime();
$tempo = explode(" ",$tempo);
$tempo[0] = floatval($tempo[0]);
$tempo[1] = floatval($tempo[1]);
return ($tempo[0] + $tempo[1]);
}
$tempo_iniziale = tempo();
?>
- Dopo in fondo pagina prima del tag </body> scrivete:
<?
$tempo_trascorso = $tempo_finale -$tempo_iniziale;
$tempo_trascorso = substr($tempo_trascorso, 0, 6);
echo "Per caricare la pagina ci sono voluti ";
echo $tempo_trascorso;
echo " secondi.";
?>
- Fatto questo salvate la vostra pagina, deve avere estensione .php (non .html poichè vi stamperà la funzione), e lo script dovrebbe funzionare senza problemi.
