# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1438971289 -7200
# Node ID 86394eb9f5bb4ab25517dc04ae96f7db8b57cab0
# Parent  9a86860572e65099e6d23469e8edfa928db1312e# Parent  46b2794042d6ff6cf35c932a00d66e47dd1143fb
merge

diff -r 9a86860572e6 -r 86394eb9f5bb Core/Logging.cpp
--- a/Core/Logging.cpp	Fri Aug 07 19:12:53 2015 +0200
+++ b/Core/Logging.cpp	Fri Aug 07 20:14:49 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 9a86860572e6 -r 86394eb9f5bb Core/Logging.h
--- a/Core/Logging.h	Fri Aug 07 19:12:53 2015 +0200
+++ b/Core/Logging.h	Fri Aug 07 20:14:49 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)
       {