// +---------------------------------------------------------------------- // $Id$ if (is_file($_SERVER["DOCUMENT_ROOT"] . $_SERVER["REQUEST_URI"])) { return false; } else { $request_url = substr($_SERVER["REQUEST_URI"],0,strrpos($_SERVER["REQUEST_URI"],"?")); if (is_file($_SERVER["DOCUMENT_ROOT"] . $request_url)) { return false; } require __DIR__ . "/index.php"; }