diff options
| author | Ermal <eri@pfsense.org> | 2013-01-02 17:21:29 +0000 |
|---|---|---|
| committer | Ermal <eri@pfsense.org> | 2013-01-02 17:21:29 +0000 |
| commit | d3647381b06479cefc7ea321fe6dde1f9bf5b350 (patch) | |
| tree | 1b81f95c02692ec961875c6f078a2d73fcc30aab | |
| parent | 192d89317ada20069326ccc73fdf1a2da521a0e7 (diff) | |
| download | pfsense-d3647381b06479cefc7ea321fe6dde1f9bf5b350.zip pfsense-d3647381b06479cefc7ea321fe6dde1f9bf5b350.tar.gz | |
Make is_pid_running function return more conisten results by using isvalidpid
| -rw-r--r-- | etc/inc/service-utils.inc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/etc/inc/service-utils.inc b/etc/inc/service-utils.inc index 01230a1..7811635 100644 --- a/etc/inc/service-utils.inc +++ b/etc/inc/service-utils.inc @@ -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) { |
