From 8bc018a72f03ad645a10628b507ce91b04085a45 Mon Sep 17 00:00:00 2001
From: alecpl <alec@alec.pl>
Date: Tue, 07 Jul 2009 12:48:55 -0400
Subject: [PATCH] - added 3rd argument to rcube_print_time()

---
 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 d8b8328..ac2906d 100644
--- a/program/include/main.inc
+++ b/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));
 }
 
 

--
Gitblit v1.9.1