1<?php 2 3$_SERVER["SERVER_ADDR"] = $_SERVER["HTTP_HOST"]; 4 5$filename = $_SERVER["PATH_INFO"] ?? $_SERVER["SCRIPT_NAME"]; 6 7if (!file_exists($_SERVER["DOCUMENT_ROOT"] . $filename)) { 8 require_once __DIR__ . '/error.php'; 9 10 return; 11} 12 13/* This could be an image or whatever, so don't try to compress it */ 14ini_set("zlib.output_compression", 0); 15return false; 16
