From 509b88901b392ba796e38fc5ff76d1baa151c09d Mon Sep 17 00:00:00 2001 From: skeeter Date: Wed, 21 Nov 2001 12:07:58 +0000 Subject: [PATCH] Possible fix for problems with bad php.ini settings. --- setup/inc/class.setup_detection.inc.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/setup/inc/class.setup_detection.inc.php b/setup/inc/class.setup_detection.inc.php index e027095fa8..34304e6bb7 100755 --- a/setup/inc/class.setup_detection.inc.php +++ b/setup/inc/class.setup_detection.inc.php @@ -23,12 +23,12 @@ $d = dir(PHPGW_SERVER_ROOT); while($entry=$d->read()) { - if (!ereg('setup',$entry)) + if (!ereg('setup',$entry) && is_dir(PHPGW_SERVER_ROOT.'/'.$entry)) { $f = PHPGW_SERVER_ROOT . '/' . $entry . '/setup/setup.inc.php'; - if (file_exists ($f)) + if (@file_exists ($f)) { - include($f); + @include($f); $setup_info[$entry]['filename'] = $f; } }