chiark / gitweb /
turn lputs off by default
authorian <ian>
Mon, 14 Jul 2008 23:26:18 +0000 (23:26 +0000)
committerian <ian>
Mon, 14 Jul 2008 23:26:18 +0000 (23:26 +0000)
hostside/multiplex

index 9d9ac786ab0d9f8a0cefea84832ca53343565b71..d5aaf1274597edbab44b095aa3fb87d3065076d1 100755 (executable)
@@ -86,6 +86,8 @@ proc nargs {l {n 0}} {
 proc cmderr {ecode emsg} { error $emsg "" [list TRAIN CMDERR $ecode] }
 
 proc lputs {m} {
+    global lputs
+    if {!$lputs} return
     if {[regexp \
  {^\<[<&] picioh (?:in msg|out) 8[89a-f]|^\<[<&] picio (?:in pong|out ping)} \
             $m]} \
@@ -582,7 +584,7 @@ proc realtime-failed {k m} {
     } else {
        catch { close $realtime }
     }
-    puts "<<\$ $k : $m"
+    lputs "<<\$ $k : $m"
     catch { unset realtime }
     if {[catch {
        set sef [open +realtime.stderr r]
@@ -816,10 +818,11 @@ proc binding {addr blist} {
 
 proc startup {} {
     global queueing executing testmode realtime port urandom serchan
-    global dev_railway libdir
+    global dev_railway libdir lputs
     catch { close $master }; catch { unset master }
 
     setting testmode 0 {[01]}
+    setting lputs 0 {[01]}
     parse-argv {}
     
     uplevel #0 source $libdir/multiplex-config