From 08431edbdbbf2aa207c48014af53d48d518ea261 Mon Sep 17 00:00:00 2001
From: dtrg <none@none>
Date: Tue, 20 Feb 2007 00:38:13 +0000
Subject: [PATCH] Now uses fd 0 instead of trying to explicitly open /dev/tty.

---
 lang/m2/libm2/Terminal.mod | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lang/m2/libm2/Terminal.mod b/lang/m2/libm2/Terminal.mod
index e505aa90b..120aba796 100644
--- 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.