From 20fe700756b1a5210fbe4bbfaba04b2b07c2901b Mon Sep 17 00:00:00 2001 From: "J. Neugebauer" Date: Mon, 25 Jul 2022 17:41:18 +0200 Subject: [PATCH] Rechtschreibung und standard Log-Format --- src/main/java/schule/ngb/zm/util/Log.java | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/src/main/java/schule/ngb/zm/util/Log.java b/src/main/java/schule/ngb/zm/util/Log.java index 3dde791..efa2697 100644 --- a/src/main/java/schule/ngb/zm/util/Log.java +++ b/src/main/java/schule/ngb/zm/util/Log.java @@ -77,7 +77,7 @@ public final class Log { */ public static void enableGlobalLevel( Level level ) { int lvl = Validator.requireNotNull(level).intValue(); - ensureRootLoggerIntialized(); + ensureRootLoggerInitialized(); // Decrease level of root level ConsoleHandlers for output Logger rootLogger = Logger.getLogger(""); @@ -116,22 +116,24 @@ public final class Log { } public static Log getLogger( Class clazz ) { - ensureRootLoggerIntialized(); + ensureRootLoggerInitialized(); return new Log(clazz); } - private static void ensureRootLoggerIntialized() { + private static void ensureRootLoggerInitialized() { if( LOGGING_INIT ) { return; } + if( System.getProperty("java.util.logging.SimpleFormatter.format") == null ) { + System.setProperty("java.util.logging.SimpleFormatter.format", DEFAULT_LOG_FORMAT); + } Logger rootLogger = Logger.getLogger(ROOT_LOGGER); rootLogger.setLevel(Level.INFO); if( System.getProperty("java.util.logging.SimpleFormatter.format") == null && LogManager.getLogManager().getProperty("java.util.logging.SimpleFormatter.format") == null ) { - System.setProperty("java.util.logging.SimpleFormatter.format", DEFAULT_LOG_FORMAT); - //rootLogger.addHandler(new StreamHandler(System.err, new LogFormatter())); + // System.setProperty("java.util.logging.SimpleFormatter.format", DEFAULT_LOG_FORMAT); rootLogger.addHandler(new StreamHandler(System.err, new LogFormatter()) { @Override public synchronized void publish(final LogRecord record) { @@ -139,7 +141,7 @@ public final class Log { flush(); } }); - rootLogger.setUseParentHandlers(false); + // rootLogger.setUseParentHandlers(false); } if( rootLogger.getUseParentHandlers() ) { // This logger was not configured somewhere else