Merge branch 'MDL-60671-master' of https://github.com/sammarshallou/m…

…oodle
mvaraujo · Nov 7, 2017 · 8aa01fc · 8aa01fc
2 parents 8072eb1 + 11e6003
commit 8aa01fc
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/lib/weblib.php b/lib/weblib.php
@@ -3275,8 +3275,7 @@ class text_progress_trace extends progress_trace {
      * @return void Output is echo'd
      */
     public function output($message, $depth = 0) {
-        echo str_repeat('  ', $depth), $message, "\n";
-        flush();
+        mtrace(str_repeat('  ', $depth) . $message);
     }
 }