ProgressBar: Respect verbosity level

This makes its behaviour consistent with SimpleLogger.
This commit is contained in:
Eelco Dolstra 2021-03-19 17:56:39 +01:00
parent ef83ced4e1
commit 3e0e443181

View file

@ -122,6 +122,7 @@ public:
void log(Verbosity lvl, const FormatOrString & fs) override
{
if (lvl > verbosity) return;
auto state(state_.lock());
log(*state, lvl, fs.s);
}