From 7cbfb822b8727d8b08e6740a39f444e5c03232bf Mon Sep 17 00:00:00 2001 From: Jaggernaut555 Date: Tue, 9 Jan 2018 14:00:36 -0800 Subject: [PATCH] Updated LogManager --- .../simon987/server/logging/LogManager.java | 27 ++++++++++++++++--- 1 file changed, 24 insertions(+), 3 deletions(-) diff --git a/Server/src/main/java/net/simon987/server/logging/LogManager.java b/Server/src/main/java/net/simon987/server/logging/LogManager.java index 1a2262a..47b11e3 100755 --- a/Server/src/main/java/net/simon987/server/logging/LogManager.java +++ b/Server/src/main/java/net/simon987/server/logging/LogManager.java @@ -19,9 +19,30 @@ public class LogManager { public static void initialize() { LOGGER.setUseParentHandlers(false); - Handler handler = new ConsoleHandler(); + /* + * Having warning/error directed to stderr + */ + Handler errHandler = new ConsoleHandler(); + errHandler.setFormatter(new GenericFormatter()); + errHandler.setLevel(Level.WARNING); + + /* + * Only have info and below directed to stdout + */ + Handler handler = new StreamHandler(System.out, new GenericFormatter()) { + @Override + public synchronized void publish(LogRecord record) { + super.publish(record); + flush(); + } + }; + handler.setFilter(new Filter() { + @Override + public boolean isLoggable(LogRecord record) { + return record.getLevel().intValue() <= Level.INFO.intValue(); + } + }); handler.setLevel(Level.ALL); - handler.setFormatter(new GenericFormatter()); try { Handler fileHandler = new FileHandler("mar.log"); @@ -29,6 +50,7 @@ public class LogManager { fileHandler.setFormatter(new GenericFormatter()); LOGGER.addHandler(handler); + LOGGER.addHandler(errHandler); LOGGER.addHandler(fileHandler); LOGGER.setLevel(Level.ALL); @@ -36,6 +58,5 @@ public class LogManager { e.printStackTrace(); } - } }