chiark / gitweb /
execute: make kill mode configurable