diff options
author | William Hubbs <williamh@gentoo.org> | 2011-06-23 21:52:44 -0500 |
---|---|---|
committer | William Hubbs <williamh@gentoo.org> | 2011-06-23 21:52:44 -0500 |
commit | 013e7fb9fc08acd33e944659ff8e7a18aee2b69f (patch) | |
tree | 4c9ce5851b2b3e333a093811a32a0e913c12a1ce /init.d/killprocs.in | |
parent | e152199860b5b9932e727b20eeefa34d870cc93a (diff) |
allow options to be passed to killall5
This allows options to be passed to killall5 by the killprocs script.
This was added so that certain processes will not be killed during
shutdown.
x-Gentoo-Bug: 371625
x-Gentoo-Bug-URL: http://bugs.gentoo.org/show_bug.cgi?id=371625
Diffstat (limited to 'init.d/killprocs.in')
-rw-r--r-- | init.d/killprocs.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/init.d/killprocs.in b/init.d/killprocs.in index 7132e9ea..2d398d27 100644 --- a/init.d/killprocs.in +++ b/init.d/killprocs.in @@ -12,11 +12,11 @@ depend() start() { ebegin "Terminating remaining processes" - killall5 -15 + killall5 -15 ${killall5_opts} sleep 1 eend 0 ebegin "Killing remaining processes" - killall5 -9 + killall5 -9 ${killall5_opts} sleep 1 eend 0 } |