use PATH_SEPARATOR and DIRECTORY_SEPARATOR

This commit is contained in:
Uwe Steinmann 2013-10-21 12:14:37 +02:00
parent 633ae6e7e6
commit 05d51c05bd

View File

@ -818,10 +818,10 @@ class Settings { /* {{{ */
* @return string path where file was found * @return string path where file was found
*/ */
function findInIncPath($file) { /* {{{ */ function findInIncPath($file) { /* {{{ */
$incarr = explode(':', ini_get('include_path')); $incarr = explode(PATH_SEPARATOR, ini_get('include_path'));
$found = ''; $found = '';
foreach($incarr as $path) { foreach($incarr as $path) {
if(file_exists($path.'/'.$file)) { if(file_exists($path.DIRECTORY_SEPARATOR.$file)) {
$found = $path; $found = $path;
} }
} }