chiark / gitweb /
fail somewhat more nicely
authorian <ian>
Thu, 5 Jan 2006 02:08:02 +0000 (02:08 +0000)
committerian <ian>
Thu, 5 Jan 2006 02:08:02 +0000 (02:08 +0000)
hostside/stopgap-controller

index ce969a3e6d306ad3f4dac137faf4273f6e78ffbc..8f89014266a1690a171dcb6f4cfaf3a217a3c982 100755 (executable)
@@ -408,9 +408,9 @@ proc changewhat {} {
 proc onreadcmd {} {
     if {[gets stdin l] < 0} {
        if {[eof stdin]} {
-           puts stderr "stopgap-controller got eof, quitting"
            puts "GUI exit 0"
-           exit 0
+           fail "stopgap-controller got eof, quitting"
+           fileevent stdin readable {}
        }
        return
     }