From d441c9176e0ed815f211f81d853fdeae1c14c274 Mon Sep 17 00:00:00 2001
From: ian <ian>
Date: Sun, 1 Jan 2006 13:06:48 +0000
Subject: [PATCH] final fix from nye: die if stdin ends

---
 hostside/gui-displayer | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hostside/gui-displayer b/hostside/gui-displayer
index e00265d..828314f 100755
--- a/hostside/gui-displayer
+++ b/hostside/gui-displayer
@@ -145,7 +145,7 @@ proc main {} {
 
 main
 
-while {[gets stdin l]} {
+while {[gets stdin l]>=0} {
     if {[regexp {^GUI ([A-Z][0-9a-zA-Z ]*)$} $l dummy cmd]} {
 	puts " * $cmd"
 	eval $cmd
-- 
2.30.2