Add log flush

This commit is contained in:
Henri Vasserman 2023-06-13 12:58:02 +03:00 committed by GitHub
parent 909970921e
commit b8b8a6ed00
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -82,6 +82,7 @@ static void server_log(const char * level, const char * function, int line, cons
std::string str = log.dump(-1, ' ', false, json::error_handler_t::replace);
fprintf(stdout, "%.*s\n", (int)str.size(), str.data());
fflush(stdout);
}
static bool server_verbose = false;