// +---------------------------------------------------------------------- // $Id$ //router.php用于php自带webserver支持,可用于快速测试,这取决于你的入口文件和配置参数。 if (is_file($_SERVER["DOCUMENT_ROOT"] . $_SERVER["SCRIPT_NAME"])) { return false; } else { if (!isset($_SERVER['PATH_INFO'])) { $_SERVER['PATH_INFO'] = $_SERVER['REQUEST_URI']; } require __DIR__ . "/index.php"; }