more accurate timing function.

diff --git a/Zend/bench.php b/Zend/bench.php
index c45fe40bcc942a1bef896a5073438edb3e631e21..848a099ea564cf02c9c3c8950c063e3016326d89 100644 (file)
--- a/Zend/bench.php
+++ b/Zend/bench.php
@@ -336,10 +336,10 @@ function strcat($n) {
 /*****/
 
 function getmicrotime()
-{ 
-  list($usec, $sec) = explode(" ",microtime()); 
-  return ((float)$usec + (float)$sec); 
-} 
+{
+  $t = gettimeofday();
+  return ($t['sec'] + $t['usec'] / 1000000);
+}
 
 function start_test()
 {