flush after each line so that data is written even if program is aborted

git-svn-id: https://svn.dealii.org/trunk@15981 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/base/source/log.cc b/deal.II/base/source/log.cc
index 0a43de08dc76de547f96140cad60685e4c98ee39..64609a0d5a54c395f080cca10d6e1427592350bb 100644 (file)
--- a/deal.II/base/source/log.cc
+++ b/deal.II/base/source/log.cc
@@ -90,7 +90,7 @@ LogStream::operator<< (std::ostream& (*p) (std::ostream&))
        *std_out << stream.str();
       
       if (file && (prefixes.size() <= file_depth))
-       *file << stream.str();
+       *file << stream.str() << std::flush;
       
                                       // Start a new string
       stream.str("");