[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 c2ab5ece4b803224fb829f5f086a881c10fcac47
Author: José Manuel Santamaría Lema <panfaust at gmail.com>
Date:   Sat Jun 9 05:51:12 2012 +0200

    Use $PIDFILE.

diff --git a/debian/virtuoso-opensource-6.1.init b/debian/virtuoso-opensource-6.1.init
index 11a7b63..da659eb 100644
--- a/debian/virtuoso-opensource-6.1.init
+++ b/debian/virtuoso-opensource-6.1.init
@@ -140,7 +140,7 @@ start_server() {
             errcode=$?
         fi
         # Write the pid file using the process id from virtuoso.lck
-        sed 's/VIRT_PID=//' $DBPATH/$SHORTNAME.lck > /var/run/$NAME.pid
+        sed 's/VIRT_PID=//' $DBPATH/$SHORTNAME.lck > $PIDFILE
         return $errcode
 }
 

-- 
Git repository for pkg-virtuoso