chiark / gitweb /
machine_kill(): Don't kill the unit when killing the leader