summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-08-04 11:13:03 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2019-08-04 11:13:03 -0400
commit6273c4602a8103f23856616966c34721ad726d3e (patch)
tree5478f29e933d4d0b3ceea5194d547c2fa8efeb3c
parent89526be4ed3328fef9ac9c8668c3611094e45d18 (diff)
Flush output on logging
-rw-r--r--src/c/http.c2
1 files changed, 2 insertions, 0 deletions
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);
}
}