mirrors/pfsense
2
0
Fork 0
mirror of https://github.com/pfsense/pfsense.git synced 2025-10-26 11:38:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

unlink pid file after kill operation

Browse Source
This commit is contained in:
Scott Ullrich 2005-11-28 00:42:08 +00:00
parent 3d77d4c435
commit 83111e4f45
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
etc/inc/util.inc
View File

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