From e4eb223ff936946e678de11d9a71c8281758d0eb Mon Sep 17 00:00:00 2001
From: Pavel Punegov <pavel.punegov@jetbrains.com>
Date: Tue, 21 Jul 2020 10:43:40 +0300
Subject: [PATCH] Fix console flushing on WASM.

---
 runtime/src/launcher/js/launcher.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/runtime/src/launcher/js/launcher.js b/runtime/src/launcher/js/launcher.js
index 0f2a7069b68..e63d18bdf25 100644
--- a/runtime/src/launcher/js/launcher.js
+++ b/runtime/src/launcher/js/launcher.js
@@ -164,6 +164,9 @@ let konan_dependencies = {
             // TODO: There is no writeErr() in d8.
             // Approximate it with write() to stdout for now.
             runtime.write(utf8decode(toString(str)));
+        },
+        fflush: function(file) {
+            runtime.flush();
         }
     }
 };