thomascube
2009-07-09 742d61aaf32875645f50456d263fe649db5eef0a
program/include/main.inc
@@ -893,6 +893,9 @@
  else if (!$format)
    $format = $CONFIG['date_long'] ? $CONFIG['date_long'] : 'd.m.Y H:i';
  // strftime() format
  if (preg_match('/%[a-z]+/i', $format))
    return strftime($format, $timestamp);
  // parse format string manually in order to provide localized weekday and month names
  // an alternative would be to convert the date() format string to fit with strftime()
@@ -1031,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;
  
@@ -1042,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));
}