<h3>Specific improvements</h3>
<ol>
+<li> Fixed: The TimerOutput class set the alignment of output to right-aligned
+under some circumstances, but didn't reset this to the previous value at the
+end of output. This is now fixed.
+<br>
+(Wolfgang Bangerth, 2011/11/28)
+
<li> New: The copy constructor of the SparseMatrixEZ function now works
(rather than throwing an exception) if the copied matrix has size zero.
This is in accordance to the other matrix classes.
const double running_time = dtime - start_time + dtime_children
- start_time_children + cumulative_time;
-
+
if (Utilities::System::job_supports_mpi())
// in case of MPI, need to get the time
// passed by summing the time over all
// precision and width of output
// below. store the old values so we
// can restore it later on
- std::streamsize old_precision = out_stream.get_stream().precision ();
- std::streamsize old_width = out_stream.get_stream().width ();
+ const std::istream::fmtflags old_flags = out_stream.get_stream().flags();
+ const std::streamsize old_precision = out_stream.get_stream().precision ();
+ const std::streamsize old_width = out_stream.get_stream().width ();
// in case we want to write CPU times
if (output_type != wall_times)
<< "+---------------------------------------------+------------"
<< "+------------+\n"
<< "| Total CPU time elapsed since start |";
- out_stream << std::setw(10);
- out_stream << std::setprecision(3);
+ out_stream << std::setw(10) << std::setprecision(3) << std::right;
out_stream << total_cpu_time << "s | |\n";
out_stream << "| | "
<< "| |\n";
<< "+---------------------------------------------+------------"
<< "+------------+\n"
<< "| Total wallclock time elapsed since start |";
- out_stream << std::setw(10);
- out_stream << std::setprecision(3);
+ out_stream << std::setw(10) << std::setprecision(3) << std::right;
out_stream << total_wall_time << "s | |\n";
out_stream << "| | "
<< "| |\n";
// restore previous precision and width
out_stream.get_stream().precision (old_precision);
out_stream.get_stream().width (old_width);
+ out_stream.get_stream().flags (old_flags);
}