Flush stderr in Application::Exit

fixes #8734

diff --git a/lib/base/application.cpp b/lib/base/application.cpp
index d04f9ac712e8b19ec749026d2f49e0225900b1d8..bbf2135ded9b16960ec961537e9eeed06de32d16 100644 (file)
--- a/lib/base/application.cpp
+++ b/lib/base/application.cpp
@@ -108,6 +108,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();