From 3608144a0e6490649a4b469a63b7ee7c1ee3a143 Mon Sep 17 00:00:00 2001
From: Rene Milk <rene.milk@uni-muenster.de>
Date: Thu, 11 Nov 2010 16:57:33 +0100
Subject: [PATCH] make Progressbar compatible with LogStreams
---
stuff/logging.hh | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/stuff/logging.hh b/stuff/logging.hh
index 3b2768d9b..52a40b80b 100644
--- a/stuff/logging.hh
+++ b/stuff/logging.hh
@@ -178,6 +178,12 @@ public:
}
}
+ //! alias for ostream compat
+ void flush()
+ {
+ Flush();
+ }
+
void Flush()
{
if (logflags_ & loglevel_) { // flush buffer into stream
--
GitLab