diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-20T19·31+0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-20T19·44+0200 |
commit | 65243ee8333a99f6461abf417d880a028dc96d91 (patch) | |
tree | 2fddcd26c3adb353e3aac08c370fa0b377e652bd /src/libmain/shared.cc | |
parent | 43579c9799e93120620481b72785f382f9c264d9 (diff) |
Flush std::cout before closing stdout
Diffstat (limited to 'src/libmain/shared.cc')
-rw-r--r-- | 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 5a740367ca12..6f2f8c5e47cc 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); } |