On Tue, 29 Oct 2002, Marcus Boerger wrote:

> Shouldn't microtime and gettimeofday be unavailable
> when HAVE_GETTIMEOFDAY is undefined?

IMO they should indeed not be available in that case.



 Derick Rethans                                   http://derickrethans.nl/ 
 JDI Media Solutions
--------------[ if you hold a unix shell to your ear, do you hear the c? ]-

PHP Development Mailing List <http://www.php.net/>
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to