From 53d3a4af5fcb42738a9955a8b7637733c8d86611 Mon Sep 17 00:00:00 2001
From: Michael Friedrich <michael.friedrich@netways.de>
Date: Tue, 5 Aug 2014 13:52:24 +0200
Subject: [PATCH] Flush stdout before _exit()

fixes #6852
refs #6820
---
 lib/base/application.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/base/application.cpp b/lib/base/application.cpp
index f69d0194a..d17415164 100644
--- 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.
 }