thomascube
2009-06-09 533e8602c0be3aed7becc74002c58a7d1cf400c3
program/include/main.inc
@@ -1023,17 +1023,16 @@
 * @access private
 */
function rcube_timer()
  {
  list($usec, $sec) = explode(" ", microtime());
  return ((float)$usec + (float)$sec);
  }
{
  return microtime(true);
}
  
/**
 * @access private
 */
function rcube_print_time($timer, $label='Timer')
  {
{
  static $print_count = 0;
  
  $print_count++;
@@ -1044,7 +1043,7 @@
    $label = 'Timer '.$print_count;
  
  console(sprintf("%s: %0.4f sec", $label, $diff));
  }
}
/**