From 69d85797b31526b6b1fbdf1e652bd2ddbe2b8645 Mon Sep 17 00:00:00 2001 From: guido Date: Thu, 13 Jan 2000 00:38:57 +0000 Subject: [PATCH] Time logging is possible git-svn-id: https://svn.dealii.org/trunk@2222 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/base/source/log.cc | 27 +++++++++++++++++++++++++-- 1 file changed, 25 insertions(+), 2 deletions(-) diff --git a/deal.II/base/source/log.cc b/deal.II/base/source/log.cc index 3e450ca373..05bc76f9f1 100644 --- a/deal.II/base/source/log.cc +++ b/deal.II/base/source/log.cc @@ -3,7 +3,8 @@ #include #include -//#include +#include +#include LogStream deallog; @@ -15,6 +16,7 @@ LogStream::LogStream() print_utime(false) { prefixes.push("DEAL:"); + std_out->setf(ios::showpoint | ios::left); } @@ -24,6 +26,7 @@ void LogStream::attach(ostream& o) { file = &o; + o.setf(ios::showpoint | ios::left); o << dealjobid(); } @@ -62,11 +65,31 @@ LogStream::depth_file(unsigned n) void LogStream::print_line_head() { + rusage usage; + float utime = 0.; + if (print_utime) + { + getrusage(RUSAGE_SELF, &usage); + utime = usage.ru_utime.tv_sec + 1.e-6 * usage.ru_utime.tv_usec; + } + if (prefixes.size() <= std_depth) + { + if (print_utime) + { + *std_out << utime << ':'; + } *std_out << prefixes.top() << ':'; - + } + if (file && (prefixes.size() <= file_depth)) + { + if (print_utime) + { + *file << utime << ':'; + } *file << prefixes.top() << ':'; + } } -- 2.39.5