chiark / gitweb /
shutdown: correctly wait for processes we killed in the killall spree