Flush std::cout before closing stdout

2014-08-20 21:44:55 +02:00
parent 43579c9799
commit 65243ee833
1 changed files with 1 additions and 0 deletions
@@ -319,6 +319,7 @@ RunPager::RunPager()
 RunPager::~RunPager()
 {
    if (pid != -1) {
+        std::cout.flush();
        close(STDOUT_FILENO);
        pid.wait(true);
    }