Package: gearman-server Version: 1.11-1 Tags: patch Two issues here:
* `/etc/init.d/gearman-server stop` should be idempotent. Currently, running it twice in a row results in: rm: cannot remove `/var/run/gearmand.pid': No such file or directory * `/etc/init.d/gearman-server restart` should start gearman if it is not currently running. Patch attached for both issues. Regards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org `-
diff -urNd gearman-server-1.11.orig/debian/gearman-server.init gearman-server-1.11/debian/gearman-server.init --- gearman-server-1.11.orig/debian/gearman-server.init 2011-02-09 16:55:44.000000000 +0000 +++ gearman-server-1.11/debian/gearman-server.init 2011-02-09 16:56:01.000000000 +0000 @@ -50,7 +50,7 @@ start-stop-daemon --stop --quiet --pidfile /var/run/$NAME.pid \ -n $NAME --oknodo echo "$NAME." - rm /var/run/$NAME.pid + rm -f /var/run/$NAME.pid ;; #reload) # @@ -72,7 +72,7 @@ # daemon isn't already running. # check wether $DAEMON is running. If so, restart start-stop-daemon --stop --test --quiet --pidfile \ - /var/run/$NAME.pid --exec $DAEMON \ + /var/run/$NAME.pid --oknodo --exec $DAEMON \ && $0 restart \ || exit 0 ;;