Bug#414157: serpento: init script doesn't remove the pid file

[Tatsuya Kinoshita]

Package: serpento
Version: 0.4.1-0.2
Tags: patch

I've noticed that removing the serpento package left /var/run/serpento.pid.
Please remove the pid file when stopping the server.

The following patch fixes this bug.

----
--- serpento-0.4.1-0.2/debian/serpento.dictd.init
+++ serpento-0.4.1/debian/serpento.dictd.init
@@ -45,6 +45,7 @@
                --quiet \
                --pidfile $PIDFILE \
          >/dev/null
+       rm -f "$PIDFILE"
        echo "$NAME."
        ;;
   #reload)
----

Thanks,
--
Tatsuya Kinoshita

pgp8106t14OO5.pgp
Description: PGP signature