]> git.pld-linux.org Git - projects/rc-scripts.git/commitdiff
Don't delete base pidfile if other pid file was specified. Delete it instead. It...
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Wed, 6 Feb 2019 14:45:43 +0000 (15:45 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Wed, 6 Feb 2019 14:45:43 +0000 (15:45 +0100)
lib/functions

index 97169811610f84961e5a01a6524f54f8e30d7a9f..b696738fa22daa711ca7c7ab32f5562ee1581e58 100644 (file)
@@ -976,7 +976,11 @@ killproc() {
 
        # Remove pid file if any.
        if [ "$notset" = "1" ]; then
-               rm -f /var/run/${base}.pid
+               if [ -f "${pidfile}" ] ; then
+                       rm -f "$pidfile"
+               else
+                       rm -f /var/run/${base}.pid
+               fi
        fi
 
        return $result
This page took 0.605045 seconds and 4 git commands to generate.