Could we have an option to send a different signal to external process about erlexec

[saleyn]

You can use custom {kill, KillCmd}, where KillCmd is "kill -INT YourPid && sleep 5 && kill -TERM YourPid && sleep 5 && kill -9 YourPid"

[zugolosian]

Yeah I saw that as an option, but it would be a lot nicer to send signals rather than starting an external shell command if possible.

[saleyn]

You can accomplish that with setting {kill_timeout, N} long enough the give your process a chance to cleanup on SIGTERM, which will be sent automatically first prior to doing a "hard" kill with SIGKILL. The fact that you require SIGINT is not a generic behavior for the majority of standard tools.

[zugolosian]

It looks like we could just manage an external process and then use kill(ospid, signal). If the managed process doesn't die within a timeout then we'll use stop which should cover what we need. I didn't realize you could send signals directly. Thanks!