From 1026ca4f8d8cd639ff9f190c0bd09f8d339f8df5 Mon Sep 17 00:00:00 2001
From: kske <kai@kske.dev>
Date: Thu, 11 Jun 2020 12:14:20 +0200
Subject: [PATCH] Immediately flush the console log

---
 src/main/java/envoy/util/EnvoyLog.java | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/main/java/envoy/util/EnvoyLog.java b/src/main/java/envoy/util/EnvoyLog.java
index deba66d..a797d75 100644
--- a/src/main/java/envoy/util/EnvoyLog.java
+++ b/src/main/java/envoy/util/EnvoyLog.java
@@ -60,7 +60,17 @@ public class EnvoyLog {
 		} catch (SecurityException | IOException e) {
 			e.printStackTrace();
 		}
-		consoleHandler = new StreamHandler(System.out, formatter);
+		consoleHandler = new StreamHandler(System.out, formatter) {
+
+			/**
+			 * {@inheritDoc}
+			 */
+			@Override
+			public synchronized void publish(LogRecord record) {
+				super.publish(record);
+				flush();
+			}
+		};
 		consoleHandler.setLevel((Level) config.get("consoleLevelBarrier").get());
 		consoleHandler.setFormatter(formatter);