ngb/zeichenmaschine
1
0
Fork 0
mirror of https://github.com/jneug/zeichenmaschine.git synced 2026-04-14 06:33:34 +02:00
Code Issues Packages Projects Releases 1 Wiki Activity

Rechtschreibung und standard Log-Format

Browse Source
This commit is contained in:
ngb
2022-07-25 17:41:18 +02:00
parent 0100a3f574
commit 20fe700756
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/main/java/schule/ngb/zm/util/Log.java
View File

@@ -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