From 9e8cb4acfd8971f691b35657e1f63a903f638996 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sun, 27 Sep 2015 16:20:50 +0200
Subject: libdiskfs: fflush stdout when pausing

* libdiskfs/boot-start.c (start_execserver): fflush stdout when pausing.
---
 libdiskfs/boot-start.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libdiskfs/boot-start.c b/libdiskfs/boot-start.c
index 6b829f2b..809e2c05 100644
--- a/libdiskfs/boot-start.c
+++ b/libdiskfs/boot-start.c
@@ -645,6 +645,7 @@ start_execserver (void)
   if (_diskfs_boot_pause)
     {
       printf ("pausing for exec\n");
+      fflush (stdout);
       getc (stdin);
     }
   err = task_resume (diskfs_exec_server_task);
-- 
cgit v1.2.3