Revision d3647381
Added by Ermal LUÇI over 12 years ago
| etc/inc/service-utils.inc | ||
|---|---|---|
| 174 | 174 |
function is_pid_running($pidfile) {
|
| 175 | 175 |
if (!file_exists($pidfile)) |
| 176 | 176 |
return false; |
| 177 |
$running = shell_exec("/bin/pgrep -F {$pidfile} 2>/dev/null");
|
|
| 178 |
|
|
| 179 |
return (!empty($running)); |
|
| 177 |
return isvalidpid($pidfile); |
|
| 180 | 178 |
} |
| 181 | 179 |
|
| 182 | 180 |
function is_dhcp_running($interface) {
|
Also available in: Unified diff
Make is_pid_running function return more conisten results by using isvalidpid