// +---------------------------------------------------------------------- // $Id$ @ini_set('zlib.output_compression', 'Off'); if (is_file($_SERVER["DOCUMENT_ROOT"] . $_SERVER["SCRIPT_NAME"])) { return false; } else { $_SERVER["SCRIPT_FILENAME"] = __DIR__ . '/index.php'; require __DIR__ . "/index.php"; }