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)
commitc4b0295197fb7d6be6862e2ab2d5dead649f31a5
tree66f57df346c7db156ba5e908ac0e35b3a8cf4fa4
parent896b0e2a1a8955753201e0f6ce405b37116a04c7
puts rather than lputs on realtime failure so we always report it
hostside/multiplex