diff options
Diffstat (limited to 'install.php')
| -rw-r--r-- | install.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install.php b/install.php index c2ca7e119..c2a5bb29e 100644 --- a/install.php +++ b/install.php @@ -244,7 +244,7 @@ function main() */ function haveExternalLibrary($external_library) { - if (isset($external_library['include']) && ! @include_once $external_library['include'] ) { + if (isset($external_library['include']) && !haveIncludeFile($external_library['include'])) { return false; } if (isset($external_library['check_function']) && ! function_exists($external_library['check_function'])) { |