\n"; /*if ($_SERVER['SCRIPT_URL'] != '' && (strpos($_SERVER['SCRIPT_URL'], 'index.php') !== FALSE || strpos($_SERVER['SCRIPT_URL'], 'cron.php') !== FALSE)) { $SETTINGS[PSNG_SCRIPT] = $_SERVER['SCRIPT_URL']; } else */ if ($_SERVER['SCRIPT_NAME'] != '' && (strpos($_SERVER['SCRIPT_NAME'], 'index.php') !== FALSE || strpos($_SERVER['SCRIPT_NAME'], 'cron.php') !== FALSE)) { $SETTINGS[PSNG_SCRIPT] = $_SERVER['SCRIPT_NAME']; } elseif ($_SERVER['PATH_INFO'] != '') { $SETTINGS[PSNG_SCRIPT] = $_SERVER['PATH_INFO']; } elseif ($_SERVER['ORIG_PATH_INFO'] != '') { // only for FastCGI ? $SETTINGS[PSNG_SCRIPT] = $_SERVER['ORIG_PATH_INFO']; } else { echo "error, couldn't extract script name!"; } $state = init(); $SETTINGS[PSNG_TIMEOUT_AUTOMATIC] = ($timeout_after === $timeout_before); // check if this could be executed before init() if ($SETTINGS[PSNG_TIMEOUT] != PSNG_TIMEOUT_NONE) { $SETTINGS[PSNG_TIMEOUT_TIME_START] = microtime_float(); $SETTINGS[PSNG_TIMEOUT_TIME_SHUTDOWN] = 3; // $SETTINGS[PSNG_TIMEOUT_TIME_DURATION] = ($timeout_after != 0)?$timeout_after : 30; $SETTINGS[PSNG_TIMEOUT_TIME_DEADLINE] = $SETTINGS[PSNG_TIMEOUT_TIME_START] + $SETTINGS[PSNG_TIMEOUT_TIME_DURATION] - $SETTINGS[PSNG_TIMEOUT_TIME_SHUTDOWN]; } ?>