-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
tags 385055 + patch
thanks
The attached patch solves the removal error on my box. With the patch,
the init.d script detects a stale PID file.
Regards,
Bastian
- --
,''`. Bastian Kleineidam
: :' : GnuPG Schlüssel
`. `' gpg --keyserver wwwkeys.pgp.net --recv-keys 32EC6F3E
`-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFFAIsCeBwlBDLsbz4RAmvdAJ0VRfa4/zjOB4w6LNsVAReAQVzeCQCfR+aD
0jI1e/YWlzc35rKnhRNyEOw=
=0EEG
-----END PGP SIGNATURE-----
--- debian/thttpd.rc 2006-09-07 23:07:44.000000000 +0200
+++ /home/calvin/thttpd.rc 2006-09-07 23:07:11.544563440 +0200
@@ -32,8 +32,13 @@
stop)
echo -n "Stopping web server: "
if [ -f $PIDFILE ]; then
- kill -10 `cat $PIDFILE`
- echo "$NAME"
+ PID=`cat $PIDFILE`
+ if ps | grep -q "^$PID"; then
+ kill -10 $PID
+ echo "$NAME"
+ else
+ echo "No $DAEMON found running; none killed."
+ fi
rm -f $PIDFILE
else
echo "No $DAEMON found running; none killed."
@@ -42,8 +47,13 @@
force-stop)
echo -n "Terminating web server: "
if [ -f $PIDFILE ]; then
- kill -10 `cat $PIDFILE`
- echo "$NAME"
+ PID=`cat $PIDFILE`
+ if ps | grep -q "^$PID"; then
+ kill -10 $PID
+ echo "$NAME"
+ else
+ echo "No $DAEMON found running; none killed."
+ fi
rm -f $PIDFILE
else
echo "No $DAEMON found running; none killed."
