1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Files
archived-web-php/.router.php

16 lines
359 B
PHP

<?php
$_SERVER["SERVER_ADDR"] = $_SERVER["HTTP_HOST"];
$filename = $_SERVER["PATH_INFO"] ?? $_SERVER["SCRIPT_NAME"];
if (!file_exists($_SERVER["DOCUMENT_ROOT"] . $filename)) {
require_once __DIR__ . '/error.php';
return;
}
/* This could be an image or whatever, so don't try to compress it */
ini_set("zlib.output_compression", 0);
return false;