Minor: Don't print end message if profiler was muted

2015-05-20 17:30:45 +03:00
parent 0f032100fc
commit 6d7cc8bc02
1 changed files with 1 additions and 1 deletions
@@ -137,7 +137,7 @@ public class Profiler {
        paused = true;
        cumulative = 0;

-        if (log.isDebugEnabled()) {
+        if (!mute && log.isDebugEnabled()) {
            OUT_LOCK.lock();
            try {
                println(name, " took ", format(result));