Switch to pkill instead of pgrep | xargs kill

This commit is contained in:
Chris Kuehl 2015-08-11 14:41:04 -07:00
parent 47489106e2
commit 242d2c5d7d

View file

@ -42,5 +42,5 @@ set +m
# signals, we need to `kill -9` it. If we just `kill -9` the dumb-init process, # signals, we need to `kill -9` it. If we just `kill -9` the dumb-init process,
# `print-signals` will still be running. So we instead kill children of the # `print-signals` will still be running. So we instead kill children of the
# dumb-init process. # dumb-init process.
pgrep -P "$pid" | xargs kill -9 pkill -9 -P "$pid"
rm "$fifo" rm "$fifo"