Changeset 703 for trunk/lib

Timestamp:

Oct 3, 2019 7:39:25 PM (5 years ago)

Author:

anonymous

Message:

Apply rounding to ScriptTimer? getTime() output

File:

• trunk/lib/ScriptTimer.inc.php (modified) (6 diffs)

trunk/lib/ScriptTimer.inc.php

@@ -4 +4 @@
  * For details visit the project site: <http://trac.strangecode.com/codebase/>
  * Copyright 2001-2012 Strangecode, LLC
- * 
+ *
  * This file is part of The Strangecode Codebase.
  *
@@ -11 +11 @@
  * Free Software Foundation, either version 3 of the License, or (at your option)
  * any later version.
- * 
+ *
  * The Strangecode Codebase is distributed in the hope that it will be useful, but
  * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
  * details.
- * 
+ *
  * You should have received a copy of the GNU General Public License along with
  * The Strangecode Codebase. If not, see <http://www.gnu.org/licenses/>.
@@ -27 +27 @@
 {
 
-    public $time_format = '%.3f';
+    public $time_format = '%.4F';
     protected $_timing_start_times = array();
     protected $_timing_stop_times = array();
     protected $_timing_cumulative_times = array();
-    
+
     public function start($name='default')
     {
         $this->_timing_start_times[$name] = explode(' ', microtime());
     }
-    
+
     public function stop($name='default')
     {
@@ -46 +46 @@
         $this->_timing_cumulative_times[$name] += $this->getTime($name);
     }
-    
+
     public function getTime($name='default')
     {
@@ -60 +60 @@
         $current = $stop_time[1] - $this->_timing_start_times[$name][1];
         $current += $stop_time[0] - $this->_timing_start_times[$name][0];
-        return $current;
+        return sprintf($this->time_format, $current);
     }
-    
+
     public function printAll($sort_by_time=false)
     {
@@ -68 +68 @@
         sort($names);
         $name_len = end($names);
-        
+
         if ($sort_by_time) {
            arsort($this->_timing_cumulative_times, SORT_NUMERIC);
         }
-        
+
         $this->_timing_cumulative_times['TOTAL'] = array_sum($this->_timing_cumulative_times);