Re: $_SERVER['REQUEST_TIME']
| From: | Rasmus Lerdorf | Date: | Tue, 20 Nov 2007 10:20:22 +0000 |
| Subject: | Re: $_SERVER['REQUEST_TIME'] | ||
| References: | 1 2 3 4 5 6 7 8 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-33358@lists.php.net to get a copy of this message | ||
Sam Barrow wrote:
> This was a good idea, however it could be even more useful if used to
> calculate the execution time of your scripts. But since it only counts
> whole seconds, for this microtime() would be better. Would it be
> possible to add $_SERVER['REQUEST_MICROTIME']?
This has nothing to do with execution time, it simply gives you the time
of the request in order to save a system call because that system call
has already been done up the chain. Doing an automatic microtime call,
would add an additional system call to applications that may never use
it, so no, that would not be a good idea.
-Rasmus