From f52379357c664e2ac6330126356488987fe9b454 Mon Sep 17 00:00:00 2001
From: Fabien Fleutot <fabien@MacFabien.home>
Date: Sun, 8 Feb 2009 11:58:21 +0100
Subject: [PATCH] fixed integration of interactive loop with external line
 editors such as ledit

---
 src/lib/metalua/metaloop.mlua | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/lib/metalua/metaloop.mlua b/src/lib/metalua/metaloop.mlua
index 88fcbdc..88b59a8 100644
--- a/src/lib/metalua/metaloop.mlua
+++ b/src/lib/metalua/metaloop.mlua
@@ -13,7 +13,11 @@ do -- set readline() to a line reader, either editline otr a default
       local rl_handle = editline.init 'metalua'
       readline = |p| rl_handle:read(p) 
    else
-      readline = |p| io.write(p) and io.read '*l'
+      function readline (p)
+         io.write (p)
+         io.flush ()
+         return io.read '*l'
+      end
    end
 end
 
-- 
2.44.0