$_SERVER['REQUEST_TIME']

par **titerm** » 17 févr. 2006, 09:02

Mario semble avoir bien compris...

echo "<br>_SERVER=" . $_SERVER['REQUEST_TIME'];
echo "<br>time=" . time();
sleep(1);
echo "<br>time=" . time();

Code : Tout sélectionner

_SERVER=1140159698
time=1140159698
time=1140159699

par **131** » 17 févr. 2006, 07:30

Ca aurait été sympa d'avoir les ms dans ce truc

par **fab** » 16 févr. 2006, 22:39

c'est flou leurs explications mais je pense pas que ça soit ça enfin j'en sais trop rien, pour savoir le début d'éxécution de ton script je te conseille de faire un $time_start = time();
c'est simple

par **mario** » 16 févr. 2006, 20:20

Astuce : Un timestamp représentant le début de la requête est disponible dans la variable $_SERVER['REQUEST_TIME'] depuis PHP 5.1.

Je n'ai pas encore mis à jour PHP vers la 5.1 mais je me demande ce qu'offre $_SERVER['REQUEST']
Si j'ai bien compris, ça permet de connaitre le temps d'exécution du début du script jusqu'à l'appel de cette variable ?

source: http://fr3.php.net/date

$_SERVER['REQUEST_TIME']

Répondre

Étendre la vue Revue du sujet : $_SERVER['REQUEST_TIME']

$_SERVER['REQUEST_TIME']