From: ian Date: Sun, 27 Jul 2008 13:48:51 +0000 (+0000) Subject: puts rather than lputs on realtime failure so we always report it X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ijackson/git?a=commitdiff_plain;h=c4b0295197fb7d6be6862e2ab2d5dead649f31a5;p=trains.git puts rather than lputs on realtime failure so we always report it --- diff --git a/hostside/multiplex b/hostside/multiplex index 5bf8ef5..611e3ef 100755 --- a/hostside/multiplex +++ b/hostside/multiplex @@ -584,7 +584,7 @@ proc realtime-failed {k m} { } else { catch { close $realtime } } - lputs "<<\$ $k : $m" + puts "<<\$ $k : $m" catch { unset realtime } if {[catch { set sef [open +realtime.stderr r]