chiark / gitweb /
execute: make sending of SIGKILL on shutdown optional