chiark / gitweb /
execute: add ability to configure the kill signal