Almost completed the new profiling tool. Just a bit more tweaking :-)

2007-03-20 02:59:34 +00:00
parent c0aa9f0956
commit 6fc4ad7243
3 changed files with 355 additions and 18 deletions
@@ -6559,10 +6559,9 @@ function get_performance_info() {
        $info['txt'] .= 'logwrites: '.$info['logwrites'].' ';
    }
    
-    if (!empty($PERF->profiling)) {
+    if (!empty($PERF->profiling) && $PERF->profiling) {
        require_once($CFG->dirroot .'/lib/profilerlib.php');
-        $profiler = new Profiler();
-        $info['html'] .= '<span class="profilinginfo">'.$profiler->get_profiling().'</span>';
+        $info['html'] .= '<span class="profilinginfo">'.Profiler::get_profiling(array('-R')).'</span>';
    }

    if (function_exists('posix_times')) {