From 83111e4f457cd7d82bbecceb86ccc377cd30707e Mon Sep 17 00:00:00 2001
From: Scott Ullrich <sullrich@pfsense.org>
Date: Mon, 28 Nov 2005 00:42:08 +0000
Subject: [PATCH] unlink pid file after kill operation

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

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