From ee4eaf30ef6b2825fe5baeedb9b19be57e5b7bb7 Mon Sep 17 00:00:00 2001 From: guido Date: Mon, 26 Feb 2001 20:56:01 +0000 Subject: [PATCH] underflow in LogStreem removed git-svn-id: https://svn.dealii.org/trunk@4036 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/base/source/log.cc | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/deal.II/base/source/log.cc b/deal.II/base/source/log.cc index 4370bf98e3..0e2753c289 100644 --- a/deal.II/base/source/log.cc +++ b/deal.II/base/source/log.cc @@ -74,7 +74,8 @@ LogStream::push (const std::string& text) void LogStream::pop () { - prefixes.pop(); + if (prefixes.size() > 1) + prefixes.pop(); }; @@ -110,6 +111,8 @@ LogStream::print_line_head() utime = usage.ru_utime.tv_sec + 1.e-6 * usage.ru_utime.tv_usec; } + const string& head = prefixes.top(); + if (prefixes.size() <= std_depth) { if (print_utime) @@ -118,7 +121,7 @@ LogStream::print_line_head() *std_out << utime << ':'; std_out->width(p); } - *std_out << prefixes.top() << ':'; + *std_out << head << ':'; } if (file && (prefixes.size() <= file_depth)) @@ -129,7 +132,7 @@ LogStream::print_line_head() *file << utime << ':'; file->width(p); } - *file << prefixes.top() << ':'; + *file << head << ':'; } } -- 2.39.5