Jon Ringle fbb48d4c66 Make final kill signal configurable ...

Usecase is to allow changing the final kill from SIGKILL to SIGQUIT which
should create a core dump useful for debugging why the service didn't stop
with the SIGTERM

2018-07-23 13:44:54 +02:00

..

bash

Make final kill signal configurable

2018-07-23 13:44:54 +02:00

zsh

Make final kill signal configurable

2018-07-23 13:44:54 +02:00