Conflicts:
configs/shibd-debian.in
restart|force-reload)
echo -n "Restarting $DESC: "
start-stop-daemon --stop --quiet --pidfile $PIDFILE \
- --exec $DAEMON
- sleep 1
- start-stop-daemon --start --quiet \
- --pidfile $PIDFILE --exec $DAEMON -- $DAEMON_OPTS
+ --retry TERM/30/KILL/5 --exec $DAEMON
- start-stop-daemon --background --start --quiet \
- --pidfile $PIDFILE --exec $DAEMON -- $DAEMON_OPTS
++ start-stop-daemon --start --quiet --pidfile $PIDFILE \
++ --exec $DAEMON -- $DAEMON_OPTS
echo "$NAME."
;;
*)