From 6d7cc8bc02744ebe9c049ed1a9fb0881f0be051f Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <Nikolay.Krasko@jetbrains.com>
Date: Wed, 20 May 2015 17:30:45 +0300
Subject: [PATCH] Minor: Don't print end message if profiler was muted

---
 compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java b/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java
index d7ac1d5ee6f..0c28cece2ad 100644
--- a/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java
+++ b/compiler/util/src/org/jetbrains/kotlin/utils/Profiler.java
@@ -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));