chiark / gitweb /
can display output from stopgap-controller
authorian <ian>
Sat, 31 Dec 2005 19:00:18 +0000 (19:00 +0000)
committerian <ian>
Sat, 31 Dec 2005 19:00:18 +0000 (19:00 +0000)
hostside/gui-displayer

index 7a66bf36682b56a2874f925aa4b3289107cddffe..e00265d739560f13d3b0bcd03cf4a6c64121cbce 100755 (executable)
@@ -44,10 +44,10 @@ proc P {onoff} { # power
     update_push
 }
 
-proc R {args} { # reverse segnames
+proc R {now args} { # reverse segnames
     foreach segname $args {
        upvar #0 segrev($segname) r
-       set r [expr {!$r}]
+       set r $now
        update_seg $segname
     }
     update_push
@@ -93,7 +93,8 @@ proc update_seg {segname} {
 #puts stderr "update_seg $segname"
 
     if {!$power} {
-       set command off
+       setsegbyname $segname off
+       return
     } else {
        set command [expr {$d ? "det" : "on"}]
        if {$r} { set command "i$command" }
@@ -143,3 +144,12 @@ proc main {} {
 }
 
 main
+
+while {[gets stdin l]} {
+    if {[regexp {^GUI ([A-Z][0-9a-zA-Z ]*)$} $l dummy cmd]} {
+       puts " * $cmd"
+       eval $cmd
+    } else {
+       puts $l
+    }
+}