diff options
| author | Seth Mos <seth.mos@dds.nl> | 2010-11-01 13:11:07 +0100 |
|---|---|---|
| committer | Seth Mos <seth.mos@dds.nl> | 2010-11-01 13:11:07 +0100 |
| commit | 11b8ca39441ad99ba661512be82589e307dae754 (patch) | |
| tree | 91378a537b72dc1d14429b76a35b2918cdc2e493 /etc/inc/util.inc | |
| parent | a8a98fb45f17db850c79f6915fb78ac5e3a60498 (diff) | |
| parent | 0e604b3abc4e8a49da7d13720482c17e017bf0bf (diff) | |
| download | pfsense-11b8ca39441ad99ba661512be82589e307dae754.zip pfsense-11b8ca39441ad99ba661512be82589e307dae754.tar.gz | |
Merge remote branch 'upstream/master'
Conflicts:
etc/inc/filter.inc
Diffstat (limited to 'etc/inc/util.inc')
| -rw-r--r-- | etc/inc/util.inc | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 7bea489..ed6e77e 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -42,11 +42,10 @@ function killbypid($pidfile) { } function isvalidpid($pid) { - $running = `ps -p $pid | wc -l`; - if(intval($running) > 1) - return true; - else - return false; + $output = ""; + exec("/bin/pgrep -F {$pid}", $output, $retval); + + return (intval($retval) == 0); } function is_process_running($process) { |
