includes/common.php
changeset 442 4da2dfc28728
parent 440 105457df35e5
child 443 a48b72312f6d
--- a/includes/common.php	Tue Jan 01 22:30:53 2008 -0500
+++ b/includes/common.php	Tue Jan 01 22:50:49 2008 -0500
@@ -45,10 +45,14 @@
  * @return float
  */
 
-function microtime_float()
+// First check to see if something already declared this function.... it happens often.
+if ( !function_exists('microtime_float') )
 {
-  list($usec, $sec) = explode(" ", microtime());
-  return ((float)$usec + (float)$sec);
+  function microtime_float()
+  {
+    list($usec, $sec) = explode(" ", microtime());
+    return ((float)$usec + (float)$sec);
+  }
 }
 
 // Determine starting time