Don't abort if we get a signal while waiting for the pager

This commit is contained in:
Eelco Dolstra 2014-12-12 14:05:23 +01:00
parent 54616be64f
commit 5a2d451648

View file

@ -328,11 +328,15 @@ RunPager::RunPager()
RunPager::~RunPager() RunPager::~RunPager()
{ {
try {
if (pid != -1) { if (pid != -1) {
std::cout.flush(); std::cout.flush();
close(STDOUT_FILENO); close(STDOUT_FILENO);
pid.wait(true); pid.wait(true);
} }
} catch (...) {
ignoreException();
}
} }