time format changed

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

diff --git a/deal.II/base/source/log.cc b/deal.II/base/source/log.cc
index 2712707bccedec3c1092a1fc9a8f2c56b9d1214b..1b089c3d6fb354ed4e5e41296f69d885d2077994 100644 (file)
--- a/deal.II/base/source/log.cc
+++ b/deal.II/base/source/log.cc
@@ -116,7 +116,9 @@ LogStream::print_line_head()
     {
       if (print_utime)
        {
+         int p = std_out->width(5);
          *std_out << utime << ':';
+         std_out->width(p);
        }
     *std_out << prefixes.top() << ':';
     }
@@ -125,7 +127,9 @@ LogStream::print_line_head()
     {
       if (print_utime)
        {
+         int p = file->width(6);
          *file << utime << ':';
+         file->width(p);
        }  
     *file << prefixes.top() << ':';
     }