For that the granularity is not good enough though.
Ideally we'd have gettimeofday() cached, but looking @ the code it is called on by lcg code and then only on MINIT. So we'd need an "extra" syscall to provide this, I am not sure this is a good idea.
Ilia
P.S. I didn't indicate in my earlier e-mail, I'd prefer $_SERVER as well.
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
