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