From 56dd442e2c534399d1e58351c2b7fa2e460394cf Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Wed, 11 Apr 2018 20:24:39 +0530
Subject: [PATCH] Flush output streams on kitten end

---
 kittens/runner.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kittens/runner.py b/kittens/runner.py
index a6133b508..a692e639e 100644
--- a/kittens/runner.py
+++ b/kittens/runner.py
@@ -46,6 +46,8 @@ def launch(args):
     if result is not None:
         import json
         print('OK:', json.dumps(result))
+    sys.stderr.flush()
+    sys.stdout.flush()
 
 
 def main():