From: ian <ian>
Date: Sun, 1 Jan 2006 13:06:48 +0000 (+0000)
Subject: final fix from nye: die if stdin ends
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ijackson/git?a=commitdiff_plain;h=d441c9176e0ed815f211f81d853fdeae1c14c274;p=trains.git

final fix from nye: die if stdin ends
---

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