diff options
| -rwxr-xr-x | debian/quagga.init.d | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/quagga.init.d b/debian/quagga.init.d index dbf71ce88..939dc5a8e 100755 --- a/debian/quagga.init.d +++ b/debian/quagga.init.d @@ -153,7 +153,7 @@ stop() else PIDFILE=`pidfile $inst` PID=`cat $PIDFILE 2>/dev/null` - start-stop-daemon --stop --quiet --oknodo --pidfile "$PIDFILE" --exec "$D_PATH/$1" + start-stop-daemon --stop --quiet --retry=TERM/30/KILL/5 --oknodo --pidfile "$PIDFILE" --exec "$D_PATH/$1" # # Now we have to wait until $DAEMON has _really_ stopped. # |