From fb91e6f0eba66be08a5ece5ec389137762096702 Mon Sep 17 00:00:00 2001 From: Jesse Natalie Date: Wed, 15 Nov 2023 09:02:00 -0800 Subject: [PATCH] Flush stdout before changing mode back to text (#5477) --- tools/io.h | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/io.h b/tools/io.h index 8bbee3a0d..a48e3c325 100644 --- a/tools/io.h +++ b/tools/io.h @@ -144,6 +144,7 @@ class OutputFile { ~OutputFile() { if (fp_ == stdout) { + fflush(stdout); SET_STDOUT_MODE(old_mode_); } else if (fp_ != nullptr) { fclose(fp_);