chiark / gitweb /
shutdown: execute rescue kill only once