On Nov 09 2016, Johannes Schindelin <[email protected]> wrote:
> The reason why we do not ignore kill errors is that we want to make sure > that the script *actually ran*. Otherwise, the thing we need to test here > does not necessarily get tested. That can be tested by looking for the pid file. Andreas. -- Andreas Schwab, SUSE Labs, [email protected] GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different."
