-
jackgr authored
Fixes portability issues in cleanup() that cause the pid expansion to fail when host_os=darwin by replacing ps --ppid and ps --pid with pgrep -P and ps -p, and by suppressing header line in output with ps -o pid=.
87a26e2f
Fixes portability issues in cleanup() that cause the pid expansion to fail when host_os=darwin by replacing ps --ppid and ps --pid with pgrep -P and ps -p, and by suppressing header line in output with ps -o pid=.