# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1438971266 -7200
# Node ID 46b2794042d6ff6cf35c932a00d66e47dd1143fb
# Parent  18518e1f5fb0462185e3cdf661daed648065c954
fix

diff -r 18518e1f5fb0 -r 46b2794042d6 Core/Logging.cpp
--- a/Core/Logging.cpp	Fri Aug 07 18:27:20 2015 +0200
+++ b/Core/Logging.cpp	Fri Aug 07 20:14:26 2015 +0200
@@ -373,6 +373,23 @@
 
       (*stream_) << header;
     }
+
+
+    InternalLogger::~InternalLogger()
+    {
+      if (stream_ != &null_)
+      {
+#if defined(_WIN32)
+        *stream_ << "\r\n";
+#else
+        *stream_ << "\n";
+#endif
+
+        stream_->flush();
+      }
+    }
+      
+
   }
 }
 
diff -r 18518e1f5fb0 -r 46b2794042d6 Core/Logging.h
--- a/Core/Logging.h	Fri Aug 07 18:27:20 2015 +0200
+++ b/Core/Logging.h	Fri Aug 07 20:14:26 2015 +0200
@@ -81,14 +81,7 @@
                      const char* file,
                      int line);
 
-      ~InternalLogger()
-      {
-#if defined(_WIN32)
-        *stream_ << "\r\n";
-#else
-        *stream_ << "\n";
-#endif
-      }
+      ~InternalLogger();
       
       std::ostream& operator<< (const std::string& message)
       {