From d6ceeb915d22e6405886e8941ce5df38fd779837 Mon Sep 17 00:00:00 2001
From: Kurtis Rader <krader@skepticism.us>
Date: Thu, 19 Jan 2017 20:58:12 -0800
Subject: [PATCH] fix interaction of buffered/unbuffered output

Fixes #3747
---
 src/reader.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/reader.cpp b/src/reader.cpp
index a550915d7..765e2717b 100644
--- a/src/reader.cpp
+++ b/src/reader.cpp
@@ -682,12 +682,16 @@ void reader_write_title(const wcstring &cmd, bool reset_cursor_position) {
         }
         fputwc(L'\a', stdout);
     }
+
     proc_pop_interactive();
     set_color(rgb_color_t::reset(), rgb_color_t::reset());
     if (reset_cursor_position && !lst.empty()) {
         // Put the cursor back at the beginning of the line (issue #2453).
         fputwc(L'\r', stdout);
     }
+
+    // TODO: This should be removed when issue #3748 is fixed.
+    fflush(stdout);
 }
 
 /// Reexecute the prompt command. The output is inserted into data->prompt_buff.