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 -- --------------------------------------------------------------------------- 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
