changeset 20 | e34d1da2a45c |
parent 19 | a9b77650cbc4 |
child 27 | 7debeb182289 |
--- a/rc.wgnd-watch.in Thu May 03 13:33:14 2012 +0200 +++ b/rc.wgnd-watch.in Thu May 03 14:49:31 2012 +0200 @@ -24,13 +24,13 @@ start-stop-daemon -v --stop --retry 30 --pidfile $PIDFILE ;; - restart) echo "Restarting $NAME..." + force-reload|restart) echo "Restarting $NAME..." $0 stop $0 start ;; *) - echo "Usage: $0 {start|stop|restart}" >&2 + echo "Usage: $0 {start|stop|restart|force-reload}" >&2 exit 1 ;; esac