chiark / gitweb /
puts rather than lputs on realtime failure so we always report it
authorian <ian>
Sun, 27 Jul 2008 13:48:51 +0000 (13:48 +0000)
committerian <ian>
Sun, 27 Jul 2008 13:48:51 +0000 (13:48 +0000)
hostside/multiplex

index 5bf8ef56815191ec16a35a504a3349a3bc8482c5..611e3ef4b2d3500f914b7c3db6a64fec7152db39 100755 (executable)
@@ -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]