fixed integration of interactive loop with external line editors such as ledit

diff --git a/src/lib/metalua/metaloop.mlua b/src/lib/metalua/metaloop.mlua
index 88fcbdc91d2311e47ea8af9772256fb0bfa79d01..88b59a88e822742b7fbfc6e6ecf02214b50574d6 100644 (file)
--- 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