From b934de95569374004ee86a74521f570af32d165f Mon Sep 17 00:00:00 2001
From: Volker Berlin <volker.berlin@googlemail.com>
Date: Tue, 23 Jul 2019 21:50:22 +0200
Subject: [PATCH] add flush() on publish()

---
 src/de/inetsoftware/jwebassembly/JWebAssembly.java | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/de/inetsoftware/jwebassembly/JWebAssembly.java b/src/de/inetsoftware/jwebassembly/JWebAssembly.java
index f286b41..b828e5e 100644
--- a/src/de/inetsoftware/jwebassembly/JWebAssembly.java
+++ b/src/de/inetsoftware/jwebassembly/JWebAssembly.java
@@ -91,7 +91,13 @@ public class JWebAssembly {
                 return record.getMessage() + '\n';
             }
         };
-        StreamHandler handler = new StreamHandler( System.out, formatter );
+        StreamHandler handler = new StreamHandler( System.out, formatter ) {
+            @Override
+            public void publish(LogRecord record) {
+                super.publish(record);
+                flush();
+            }
+        };
         handler.setLevel( Level.ALL );
         LOGGER.addHandler( handler );
         //LOGGER.setLevel( Level.FINE );