diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 2502c56003..7657c26732 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -39,6 +39,7 @@ function sigkillbypid($pidfile, $sig) { if (file_exists($pidfile)) { $pid = file_get_contents($pidfile); mwexec("/bin/kill -s $sig {$pid}"); + unlink_if_exists($pidfile); } else { mwexec("/bin/kill -s $sig {$pidfile}"); }