diff options
author | alecpl <alec@alec.pl> | 2009-07-07 16:48:55 +0000 |
---|---|---|
committer | alecpl <alec@alec.pl> | 2009-07-07 16:48:55 +0000 |
commit | 8bc018a72f03ad645a10628b507ce91b04085a45 (patch) | |
tree | 777bfe18ae16a35714c5c85454b47b651160f281 | |
parent | d559cba5f7b92f152dd0330e2870d5512cd34e51 (diff) |
- added 3rd argument to rcube_print_time()
-rw-r--r-- | program/include/main.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/program/include/main.inc b/program/include/main.inc index d8b832844..ac2906d4a 100644 --- a/program/include/main.inc +++ b/program/include/main.inc @@ -1034,7 +1034,7 @@ function rcube_timer() /** * @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 @@ function rcube_print_time($timer, $label='Timer') 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)); } |