Always flush reporter output stream on log

This commit is contained in:
Vinnie Falco
2016-05-16 07:09:27 -04:00
parent d46db18a31
commit 18c82465b2

View File

@@ -282,6 +282,7 @@ reporter<_>::
on_log(std::string const& s)
{
os_ << s;
os_.flush();
}
} // detail