diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/inc/util.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 32846aa..9d5872e 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -50,9 +50,9 @@ function isvalidpid($pid) { } function is_process_running($process) { - $running = (shell_exec("/bin/pgrep -x {$process}") != ''); + $running = shell_exec("/bin/pgrep -x {$process}"); - return $running; + return !empty($running); } function isvalidproc($proc) { |
