chiark / gitweb /
do not ping immediately after crash
authorian <ian>
Sun, 8 Jun 2008 23:21:31 +0000 (23:21 +0000)
committerian <ian>
Sun, 8 Jun 2008 23:21:31 +0000 (23:21 +0000)
commit49796b2ce33d03865515c938262b6f2456c97c7f
treee266f073d21e9c7be2b5d85cce4d1fa0a7d5d274
parent4156e8500f0d54a9ef1a93014cd3667637e0927c
do not ping immediately after crash
hostside/multiplex