Flush stdout before _exit()

fixes #6852
refs #6820
This commit is contained in:
Michael Friedrich 2014-08-05 13:52:24 +02:00
parent de229f9fec
commit 53d3a4af5f
1 changed files with 1 additions and 0 deletions

View File

@ -114,6 +114,7 @@ Application::~Application(void)
void Application::Exit(int rc)
{
std::cout.flush();
_exit(rc); // Yay, our static destructors are pretty much beyond repair at this point.
}