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
`. `'` [email protected]
`-
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
;;
