- added 3rd argument to rcube_print_time()

alecpl

2009-07-07 8bc018a72f03ad645a10628b507ce91b04085a45

- added 3rd argument to rcube_print_time()

 program/include/main.inc

@@ -1034,7 +1034,7 @@
/**
 * @access private
 */
function rcube_print_time($timer, $label='Timer')
function rcube_print_time($timer, $label='Timer', $dest='console')
{
  static $print_count = 0;
  
@@ -1045,7 +1045,7 @@
  if (empty($label))
    $label = 'Timer '.$print_count;
  
  console(sprintf("%s: %0.4f sec", $label, $diff));
  write_log($dest, sprintf("%s: %0.4f sec", $label, $diff));
}