From 6273c4602a8103f23856616966c34721ad726d3e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 4 Aug 2019 11:13:03 -0400 Subject: Flush output on logging --- src/c/http.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/c/http.c b/src/c/http.c index 68c16e0b..c1fccf4a 100644 --- a/src/c/http.c +++ b/src/c/http.c @@ -65,6 +65,7 @@ static void log_error(void *data, const char *fmt, ...) { va_start(ap, fmt); vfprintf(stderr, fmt, ap); + fflush(stderr); } static void log_debug(void *data, const char *fmt, ...) { @@ -75,6 +76,7 @@ static void log_debug(void *data, const char *fmt, ...) { va_start(ap, fmt); vprintf(fmt, ap); + fflush(stdout); } } -- cgit v1.2.3