From d2c97ea1941c733776c040f2143fead617865a67 Mon Sep 17 00:00:00 2001
From: Seth Mos <seth.mos@xs4all.nl>
Date: Thu, 6 Nov 2008 14:50:46 +0000
Subject: [PATCH] If we do not have a process file there is no hope we can ever
 kill anything. Remove this bogus attempt, silence the mwexec kill

---
 etc/inc/util.inc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/etc/inc/util.inc b/etc/inc/util.inc
index 6ac19f2d44..0687cdaa8d 100644
--- a/etc/inc/util.inc
+++ b/etc/inc/util.inc
@@ -38,9 +38,7 @@ function killbypid($pidfile) {
 function sigkillbypid($pidfile, $sig) {
 	if (file_exists($pidfile)) {
 		$pid = trim(file_get_contents($pidfile));
-		mwexec("/bin/kill -s $sig {$pid}");
-	} else {
-		mwexec("/bin/kill -s $sig {$pidfile}");
+		mwexec("/bin/kill -s $sig {$pid}", true);
 	}
 }