Always flush reporter output stream on log

This commit is contained in:
Vinnie Falco
2017-07-20 08:12:07 -07:00
parent da313a002e
commit 236f9598ce
+1
View File
@@ -282,6 +282,7 @@ reporter<_>::
on_log(std::string const& s)
{
os_ << s;
os_.flush();
}
} // detail