chiark / gitweb /
hostside: multiplex: make realtime_xopts a command line setting
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 9 Jan 2011 17:01:43 +0000 (17:01 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 9 Jan 2011 17:01:43 +0000 (17:01 +0000)
hostside/multiplex
hostside/multiplex-config

index 4988c4445e31b4c0545dd171503cc9cdeddb466c..6b1dcf18a9b28ea816d20e4df3b9066ec6971d21 100755 (executable)
@@ -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
index c97eb49e505f8088d3d8cc74dd844e2743a762d5..603bde691c5b2f2416a1b04b2d0aee134ef8b98d 100644 (file)
@@ -17,7 +17,6 @@ set records {
        homes.record
 }
 set detectlag 100
-set realtime_xopts {}
 if {![string length $dev_railway]} {
        set dev_railway /dev/railway
 }