also change out_stream condition when enable/disable_output

diff --git a/source/base/timer.cc b/source/base/timer.cc
index 025567cc1b423b566bd54ead24d1576089ad9714..41dd6378b674a6dcf09e33ec70e9197eca12e90b 100644 (file)
--- a/source/base/timer.cc
+++ b/source/base/timer.cc
@@ -1018,6 +1018,7 @@ void
 TimerOutput::disable_output()
 {
   output_is_enabled = false;
+  out_stream.set_condition(false);
 }
 
 
@@ -1026,6 +1027,7 @@ void
 TimerOutput::enable_output()
 {
   output_is_enabled = true;
+  out_stream.set_condition(true);
 }
 
 void