chiark / gitweb /
exec: drop process group kill mode since it has little use and confuses the user