diff options
-rw-r--r-- | src/library/scala/runtime/Equality.java | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/library/scala/runtime/Equality.java b/src/library/scala/runtime/Equality.java index 018b3b4c07..52ed7005cd 100644 --- a/src/library/scala/runtime/Equality.java +++ b/src/library/scala/runtime/Equality.java @@ -78,10 +78,12 @@ public class Equality } public static void log(String msg) { - if (logger != null) { - logger.warning(msg); - handler.flush(); + if (logEverything) { + if (logger != null) { + logger.warning(msg); + handler.flush(); + } + else System.out.println(msg); } - else System.out.println(msg); } } |