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

flush() nach jeder Log-Nachricht

Browse Source 
Der Logger sendet nun nach jedem Log die Nachricht zum OutputStream.
This commit is contained in:
ngb
2022-07-21 21:00:55 +02:00
parent 4bf0068051
commit fddd8d621b
1 changed files with 9 additions and 5 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

@@ -1,12 +1,9 @@
package schule.ngb.zm.util; package schule.ngb.zm.util;
import java.io.IOException;
import java.io.PrintStream;
import java.io.PrintWriter; import java.io.PrintWriter;
import java.io.StringWriter; import java.io.StringWriter;
import java.time.ZoneId; import java.time.ZoneId;
import java.time.ZonedDateTime; import java.time.ZonedDateTime;
import java.util.Enumeration;
import java.util.Iterator; import java.util.Iterator;
import java.util.function.Supplier; import java.util.function.Supplier;
import java.util.logging.*; import java.util.logging.*;
@@ -34,7 +31,7 @@ import static java.util.logging.Level.*;
*/ */
public final class Log { public final class Log {
private static final String ROOT_LOGGER = "schule.ngb.zm"; private static final String ROOT_LOGGER = "schule";
private static final String DEFAULT_LOG_FORMAT = "[%1$tT] [%4$11s] %5$s %6$s%n"; private static final String DEFAULT_LOG_FORMAT = "[%1$tT] [%4$11s] %5$s %6$s%n";
@@ -134,7 +131,14 @@ public final class Log {
if( System.getProperty("java.util.logging.SimpleFormatter.format") == null if( System.getProperty("java.util.logging.SimpleFormatter.format") == null
&& LogManager.getLogManager().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); System.setProperty("java.util.logging.SimpleFormatter.format", DEFAULT_LOG_FORMAT);
rootLogger.addHandler(new StreamHandler(System.err, new LogFormatter())); //rootLogger.addHandler(new StreamHandler(System.err, new LogFormatter()));
rootLogger.addHandler(new StreamHandler(System.err, new LogFormatter()) {
@Override
public synchronized void publish(final LogRecord record) {
super.publish(record);
flush();
}
});
rootLogger.setUseParentHandlers(false); rootLogger.setUseParentHandlers(false);
} }
if( rootLogger.getUseParentHandlers() ) { if( rootLogger.getUseParentHandlers() ) {