Fixed write_pvtu_record

diff --git a/source/base/data_out_base.cc b/source/base/data_out_base.cc
index 072c99bd608fcdcff9b2af5eee35f526a13341e0..9a4f7b03c2d1bc2575018e7ae224294eaa6f9b74 100644 (file)
--- a/source/base/data_out_base.cc
+++ b/source/base/data_out_base.cc
@@ -6232,6 +6232,9 @@ write_pvd_record (std::ostream &out,
   out << "<VTKFile type=\"Collection\" version=\"0.1\" ByteOrder=\"LittleEndian\">\n";
   out << "  <Collection>\n";
 
+  std::streamsize ss = out.precision();
+  out.precision(12);
+
   for (unsigned int i=0; i<times_and_names.size(); ++i)
     out << "    <DataSet timestep=\"" << times_and_names[i].first
         << "\" group=\"\" part=\"0\" file=\"" << times_and_names[i].second
@@ -6241,6 +6244,7 @@ write_pvd_record (std::ostream &out,
   out << "</VTKFile>\n";
 
   out.flush();
+  out.precision(ss);
 
   AssertThrow (out, ExcIO());
 }