From 37c4fd57711729e9141018c12b7b029c58683943 Mon Sep 17 00:00:00 2001
From: Giuseppe Lomurno <lomurno.giuseppe97@gmail.com>
Date: Wed, 14 Oct 2020 03:32:54 +0200
Subject: [PATCH] Flush stdout in IDE mode first message

---
 src/Idris/IDEMode/REPL.idr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Idris/IDEMode/REPL.idr b/src/Idris/IDEMode/REPL.idr
index e0432b3dd..c75234e03 100644
--- a/src/Idris/IDEMode/REPL.idr
+++ b/src/Idris/IDEMode/REPL.idr
@@ -84,6 +84,7 @@ initIDESocketFile h p = do
                   pure (Left ("Failed to listen on socket with error: " ++ show res))
                else
                  do putStrLn (show p)
+                    fflush stdout
                     res <- accept sock
                     case res of
                       Left err =>