Flush stderr in Application::Exit

fixes #8734

diff --git a/lib/base/application.cpp b/lib/base/application.cpp
index 1e5a39cba858731cf5b460dc0d9718d70f794990..af71a8725a8a4f6890ff551c32ffbee4967581e7 100644 (file)
--- a/lib/base/application.cpp
+++ b/lib/base/application.cpp
@@ -107,6 +107,7 @@ Application::~Application(void)
 void Application::Exit(int rc)
 {
        std::cout.flush();
+       std::cerr.flush();
 
        BOOST_FOREACH(const Logger::Ptr& logger, Logger::GetLoggers()) {
                logger->Flush();