Kill child processes on SIGTERM
When receiving a SIGTERM
, arara
might not terminate all child processes depending on the underlying operating system. It should try to safe-guard against TeX processes staying alive after arara
should have terminated.