Now uses fd 0 instead of trying to explicitly open /dev/tty.

diff --git a/lang/m2/libm2/Terminal.mod b/lang/m2/libm2/Terminal.mod
index e505aa9..120aba7 100644 (file)
--- a/lang/m2/libm2/Terminal.mod
+++ b/lang/m2/libm2/Terminal.mod
@@ -108,7 +108,13 @@ IMPLEMENTATION MODULE Terminal;
   END WriteString;
 
 BEGIN
+(*
        tty := "/dev/tty";
        fildes := open(ADR(tty), 2);
        unread := FALSE;
+*)
+(* dtrg: changed so that instead of opening /dev/tty, fd 0 is always used. *)
+    tty := "stdio";
+    fildes := 0;
+    unread := FALSE;
 END Terminal.