[SCM] Git repository for pkg-virtuoso branch, master, updated. debian/6.1.3+dfsg1-2.1-57-g17014c4

[José Manuel Santamar?==?UTF-8?Q?ía Lema]

The following commit has been merged in the master branch:
commit bbc32b454c222ddd30075a34f58ff44564b9e16f
Author: José Manuel Santamaría Lema <panfaust at gmail.com>
Date:   Sat Jun 9 05:57:47 2012 +0200

    Remove pid file when stopping the server.

diff --git a/debian/changelog b/debian/changelog
index 2658e03..b0bb938 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-virtuoso-opensource (6.1.4+dfsg1-1~pre1) UNRELEASED; urgency=low
+virtuoso-opensource (6.1.4+dfsg1-1~pre3) UNRELEASED; urgency=low
 
   * New upstream release (Closes: #650281).
   * Switch to source format 3.0 (quilt).
@@ -20,6 +20,8 @@ virtuoso-opensource (6.1.4+dfsg1-1~pre1) UNRELEASED; urgency=low
     this makes the script work when you are running it under Plasma (the KDE
     workspace) with Nepomuk, which may already execute a /usr/bin/virtuoso-t
     process making start-stop-daemon fail.
+  * The init script now removes the pid file when you stop the process, thus it
+    won't kill innocent processes with unfortunate pids when restarting.
   * /etc/virtuoso-opensource-6.1/virtuoso.ini isn't a conffile anymore, it's
     just handled by maintainer scripts (Closes: #656087).
   * Now virtuoso-opensource-6.1.postrm stops the server.
diff --git a/debian/virtuoso-opensource-6.1.init b/debian/virtuoso-opensource-6.1.init
index da659eb..c5dfdca 100644
--- a/debian/virtuoso-opensource-6.1.init
+++ b/debian/virtuoso-opensource-6.1.init
@@ -157,6 +157,7 @@ stop_server() {
             errcode=$?
         fi
 
+        rm -f $PIDFILE
         return $errcode
 }
 

-- 
Git repository for pkg-virtuoso