$_SERVER['REQUEST_TIME']

Mammouth du PHP | 768 Messages

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
M A R I O
Si une patte de lapin porte bonheur, qu'a-t-il bien pu arriver au lapin ?

ViPHP
fab
ViPHP | 2657 Messages

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 :)
Seul l'intelligent a le pouvoir de se trouver con
try { work(); } catch(FlemmeExeption $e) { sleep(84600); }

131
Eléphanteau du PHP | 45 Messages

17 févr. 2006, 07:30

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

Mammouth du PHP | 505 Messages

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