diff options
| author | Scott Ullrich <sullrich@pfsense.org> | 2005-11-28 00:42:08 +0000 |
|---|---|---|
| committer | Scott Ullrich <sullrich@pfsense.org> | 2005-11-28 00:42:08 +0000 |
| commit | 83111e4f457cd7d82bbecceb86ccc377cd30707e (patch) | |
| tree | a306db7048166c578f99d64271022b8c44363710 /etc | |
| parent | 3d77d4c435e57cdf74e86ab4a18e87e218af5087 (diff) | |
| download | pfsense-83111e4f457cd7d82bbecceb86ccc377cd30707e.zip pfsense-83111e4f457cd7d82bbecceb86ccc377cd30707e.tar.gz | |
unlink pid file after kill operation
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/inc/util.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 2502c56..7657c26 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}"); } |
