152/376: Flush std::cout before closing stdout

[Ludovic Courtès]

civodul pushed a commit to tag 1.8
in repository guix.

commit 65243ee8333a99f6461abf417d880a028dc96d91
Author: Eelco Dolstra <address@hidden>
Date:   Wed Aug 20 21:31:38 2014 +0200

    Flush std::cout before closing stdout
---
 src/libmain/shared.cc |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 5a74036..6f2f8c5 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -319,6 +319,7 @@ RunPager::RunPager()
 RunPager::~RunPager()
 {
     if (pid != -1) {
+        std::cout.flush();
         close(STDOUT_FILENO);
         pid.wait(true);
     }