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); } }