And you're sure gettimeofday() is available always? Hint: It isn't. :)
Which systems don't have it? If there are such beasts, maybe we add #ifdef HAVE_GETTIMEOFDAY there... -- Stanislav Malyshev, Zend Software Architect [EMAIL PROTECTED] http://www.zend.com/ (408)253-8829 MSN: [EMAIL PROTECTED] -- PHP CVS Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php