Flush stdout before _exit()

fixes #6852
refs #6820

diff --git a/lib/base/application.cpp b/lib/base/application.cpp
index f69d0194a7b36c24134da23db462f9651d564205..d17415164e36db94013397652b39f31bf6fcb07c 100644 (file)
--- a/lib/base/application.cpp
+++ b/lib/base/application.cpp
@@ -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.
 }