$mapFileIni = trim($ini['map']['mapFile']);

// try as absolute path

if ($mapFileIni{0} == "/" || $mapFileIni{1} == ":") {
$PM_MAP_FILE = str_replace('\\', '/', $mapFileIni);
// else as relative to $PM_CONFIG_DIR
} else {
$PM_MAP_FILE = str_replace('\\', '/', realpath($PM_BASECONFIG_DIR . "/" .
$mapFileIni));
if (!file_exists($PM_MAP_FILE)) {
$PM_MAP_FILE = str_replace('\\', '/', realpath($PM_CONFIG_DIR . "/" .
$mapFileIni));
}
}