From 6c3683dfe94eff12d12370d1082915ddd41e0b21 Mon Sep 17 00:00:00 2001
From: Andrew Rodland <andrew@cleverdomain.org>
Date: Wed, 26 Feb 2014 01:43:00 -0600
Subject: [PATCH] Repair jv_show

---
 jv_print.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/jv_print.c b/jv_print.c
index 7a20b3ed..1d38de8b 100644
--- a/jv_print.c
+++ b/jv_print.c
@@ -273,8 +273,9 @@ void jv_dump(jv x, int flags) {
 
 void jv_show(jv x, int flags) {
   if (flags == -1)
-    flags = JV_PRINT_PRETTY | JV_PRINT_COLOUR | JV_PRINT_UNBUFFERED;
+    flags = JV_PRINT_PRETTY | JV_PRINT_COLOUR;
   jv_dumpf(jv_copy(x), stderr, flags);
+  fflush(stderr);
 }
 
 jv jv_dump_string(jv x, int flags) {