Fix issue with logging to stdout (#1332)

This commit is contained in:
Francesco 2025-01-23 09:48:38 +01:00 committed by GitHub
parent 8e9806f35c
commit af636c3989
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -771,6 +771,7 @@ protected:
else
stream << result << " " << message << "\n";
}
stream.flush();
}
std::string format_;