From 8425e6337219b0defd4e458bd8c4f6daf2b3b494 Mon Sep 17 00:00:00 2001 From: Guillaume Nodet Date: Tue, 25 Apr 2017 01:25:18 +0200 Subject: [PATCH] Log helper not setting logger-name on LogRecord, fixes #117 --- terminal/src/main/java/org/jline/utils/Log.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/terminal/src/main/java/org/jline/utils/Log.java b/terminal/src/main/java/org/jline/utils/Log.java index 2de5e3233..7f17ba872 100644 --- a/terminal/src/main/java/org/jline/utils/Log.java +++ b/terminal/src/main/java/org/jline/utils/Log.java @@ -111,7 +111,10 @@ static void log(final Level level, final Object... messages) { static void logr(final Level level, final Supplier record) { Logger logger = Logger.getLogger("org.jline"); if (logger.isLoggable(level)) { - logger.log(record.get()); + // inform record of the logger-name + LogRecord tmp = record.get(); + tmp.setLoggerName(logger.getName()); + logger.log(tmp); } }