diff options
Diffstat (limited to 'rc.d/init.d')
| -rwxr-xr-x | rc.d/init.d/functions | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/rc.d/init.d/functions b/rc.d/init.d/functions index ab3e22df..daba8c5b 100755 --- a/rc.d/init.d/functions +++ b/rc.d/init.d/functions @@ -100,9 +100,12 @@ killproc() { kill -TERM $pid && success "$base shutdown" || failure "$base shutdown" usleep 100000 if ps h $pid >/dev/null 2>&1 ; then - sleep 3 + sleep 1 if ps h $pid >/dev/null 2>&1 ; then - kill -KILL $pid && success "$base shutdown" || failure "$base shutdown" + sleep 3 + if ps h $pid >/dev/null 2>&1 ; then + kill -KILL $pid && success "$base shutdown" || failure "$base shutdown" + fi fi fi fi |