From a1d7a63abaf25ad8f448d35966a269306628c8ab Mon Sep 17 00:00:00 2001 From: Patrick Wuttke Date: Wed, 2 Jul 2025 16:39:02 +0200 Subject: [PATCH] Added flusing to the stdio log sink. --- source/mijin/logging/stdio_sink.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/source/mijin/logging/stdio_sink.hpp b/source/mijin/logging/stdio_sink.hpp index 1a76b86..7aa1e8c 100644 --- a/source/mijin/logging/stdio_sink.hpp +++ b/source/mijin/logging/stdio_sink.hpp @@ -56,6 +56,7 @@ public: { static_assert(always_false_v, "Character type not supported."); } + std::fflush(stream); } };