From: ian <ian>
Date: Sun, 26 Jun 2005 01:51:02 +0000 (+0000)
Subject: make gui-displayer work with new gui-plan-bot
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ijackson/git?a=commitdiff_plain;h=7703c830eaa03684fded29c3f17e29b8b2ce9508;p=trains.git

make gui-displayer work with new gui-plan-bot
---

diff --git a/hostside/gui-displayer b/hostside/gui-displayer
index acd395e..25f5caa 100755
--- a/hostside/gui-displayer
+++ b/hostside/gui-displayer
@@ -2,13 +2,14 @@
 
 proc widgets {} {
     global widg_pipe
-    set sizes [exec ./gui-plan --sizes]
+    set sizes [exec ./gui-plan-bot --sizes]
     frame .picture -background {} \
 	    -width [lindex $sizes 0] \
 	    -height [lindex $sizes 1]
     pack .picture
     tkwait visibility .picture
-    set widg_pipe [open |[list ./gui-plan [winfo id .picture] >&@ stderr] w]
+    set widg_pipe [open |[list ./gui-plan-bot \
+	    [winfo id .picture] >&@ stderr] w]
 }
 
 proc setsegbyname {segfeatname command {posnum {}}} {
@@ -100,7 +101,7 @@ proc update_seg {segname} {
 	if {[string length $mp]} {
 	    setsegbyname $mov $command $mp
 	} else {
-	    setsegbyname $mov off
+	    setsegbyname $mov $command
 	}
     }
 }