jackgr 87a26e2fd2 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=.

2015-05-18 12:14:21 -07:00

7.7 KiB

Executable File

Raw Blame History

View Raw