From 22bc076874d757775e0a57d1d405d0130a6e24ad Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 9 Jan 2011 17:01:43 +0000 Subject: [PATCH] hostside: multiplex: make realtime_xopts a command line setting --- hostside/multiplex | 1 + hostside/multiplex-config | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) 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 } -- 2.30.2