Am Tue, Dec 06, 2022 at 03:24:51PM +0000 schrieb Stuart Henderson: > On 2022/12/06 15:22, Stuart Henderson wrote: > > I have left the getmails patch alone for now as I can't test it but the > > pgrep invocation is wrong, it should probably search for something like > > "^/bin/sh /usr/local/bin/getmails$" and then I expect the set -e will > > work. > > ...or here's an (untested) version with that proposed change. > (sorry for the spam!)
> +-PID_GETMAILS=$(pgrep -U $UID_BY_ID '^getmails$') > ++PID_GETMAILS=$(pgrep -U $UID_BY_ID '^/bin/sh /usr/local/bin/getmails$') Just tested the getmails change: it still exits at the pgrep line.
