# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1378820373 -7200
# Node ID 853245102164e7baa45bd734c9cf5e4f48def159
# Parent  0faedeb34895857d3296e8ba8da62aa779f61651
Convert the Level names to names of methods on console object

diff -r 0faedeb34895 -r 853245102164 rt/emul/compact/src/main/java/java/util/logging/Logger.java
--- a/rt/emul/compact/src/main/java/java/util/logging/Logger.java	Tue Sep 10 15:17:54 2013 +0200
+++ b/rt/emul/compact/src/main/java/java/util/logging/Logger.java	Tue Sep 10 15:39:33 2013 +0200
@@ -449,9 +449,17 @@
         if (record.getLevel().intValue() < levelValue) {
             return;
         }
+        
+        String method;
+        switch (record.getLevel().toString()) {
+            case "INFO": method = "info";  break;
+            case "SEVERE": method = "error"; break;
+            case "WARNING": method = "warn"; break;
+            default: method = "log"; break;
+        }
 
         consoleLog(
-            record.getLevel().toString(), 
+            method, 
             record.getLoggerName(),
             record.getMessage()
         );