diff options
Diffstat (limited to 'etc')
-rw-r--r-- | etc/inc/util.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index 0f8d78a..fd9eb3b 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -62,7 +62,7 @@ function isvalidproc($proc) { /* sigkill a process by pid file */ /* return 1 for success and 0 for a failure */ function sigkillbypid($pidfile, $sig) { - if (is_file($pidfile)) + if (file_exists($pidfile)) return mwexec("/bin/pkill -{$sig} -F {$pidfile}", true); return 0; |