Added file.flush in json.dump method

Franziska Geiger · Franziska Geiger · commit 9f8f278fddd7 · 2019-05-15T16:03:30.000+02:00
diff --git a/graalpython/lib-python/3/json/__init__.py b/graalpython/lib-python/3/json/__init__.py
@@ -178,6 +178,7 @@ def dump(obj, fp, *, skipkeys=False, ensure_ascii=True, check_circular=True,
     # a debuggability cost
     for chunk in iterable:
         fp.write(chunk)
+    fp.flush()
 
 
 def dumps(obj, *, skipkeys=False, ensure_ascii=True, check_circular=True,
