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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
