Make is_pid_running function return more conisten results by using isvalidpid

This commit is contained in:
Ermal 2013-01-02 17:21:29 +00:00
parent 192d89317a
commit d3647381b0

View File

@ -174,9 +174,7 @@ function restart_service($name) {
function is_pid_running($pidfile) {
if (!file_exists($pidfile))
return false;
$running = shell_exec("/bin/pgrep -F {$pidfile} 2>/dev/null");
return (!empty($running));
return isvalidpid($pidfile);
}
function is_dhcp_running($interface) {