William, Am 04.12.2017 um 16:09 schrieb William Lallemand: > I prefer to leave this one, because otherwise the user won't understand why it > killed the workers, and a grep on "exit-on-failure" in the documentation will > find "no-exit-on-failure" so that's not a problem. >
Okay, updated patch sent (because I was not sure whether you / Willy would edit it yourselves or not). Best Tim Düsterhus
