final fix from nye: die if stdin ends

diff --git a/hostside/gui-displayer b/hostside/gui-displayer
index e00265d739560f13d3b0bcd03cf4a6c64121cbce..828314ffc1ceaf61d7dea2a6090111fb824500e1 100755 (executable)
--- 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