From: Ian Jackson Date: Sun, 9 Jan 2011 17:01:43 +0000 (+0000) Subject: hostside: multiplex: make realtime_xopts a command line setting X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ijackson/git?a=commitdiff_plain;h=22bc076874d757775e0a57d1d405d0130a6e24ad;p=trains.git hostside: multiplex: make realtime_xopts a command line setting --- diff --git a/hostside/multiplex b/hostside/multiplex index 4988c44..6b1dcf1 100755 --- a/hostside/multiplex +++ b/hostside/multiplex @@ -855,6 +855,7 @@ proc startup {} { setting lputs 0 {[01]} setting dev_railway {} {/.*} setting restart_min_mean_interval 5 {^\d+} + setting realtime_xopts {} {.*} parse-argv {} uplevel #0 source $libdir/multiplex-config diff --git a/hostside/multiplex-config b/hostside/multiplex-config index c97eb49..603bde6 100644 --- a/hostside/multiplex-config +++ b/hostside/multiplex-config @@ -17,7 +17,6 @@ set records { homes.record } set detectlag 100 -set realtime_xopts {} if {![string length $dev_railway]} { set dev_railway /dev/railway }