From 72c10b20fb4dfe096bf00f5c61fb545ba39ba218 Mon Sep 17 00:00:00 2001
From: Tomasz Sowa <t.sowa@ttmath.org>
Date: Wed, 27 Apr 2022 22:07:58 +0200
Subject: [PATCH] flush logs when printing to stdout

---
 src/log/filelog.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/log/filelog.cpp b/src/log/filelog.cpp
index afb76f3..c3708c2 100644
--- a/src/log/filelog.cpp
+++ b/src/log/filelog.cpp
@@ -112,6 +112,7 @@ void FileLog::save_log(WTextStream * buffer)
 			if( log_stdout )
 			{
 				wide_stream_to_utf8(*buffer, std::cout);
+				std::cout.flush();
 			}
 
 			if( !log_file.empty() )