From 20920d818d785137888facc07b84771ded2a70c2 Mon Sep 17 00:00:00 2001 From: Marcin Krol Date: Tue, 21 May 2024 20:49:01 +0200 Subject: [PATCH] - PLD merge: don't delete base pidfile if other pid file was specified --- lib/functions | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/lib/functions b/lib/functions index 25803f6..b4c4840 100644 --- a/lib/functions +++ b/lib/functions @@ -896,7 +896,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 -- 2.45.2