diff --git a/lib/pico.php b/lib/pico.php index 17ce990d91e7db5d58dc50d5b35c44c447d7477c..29d10ba8e192dfcdde4e545466475d59d9c8b0bb 100644 --- a/lib/pico.php +++ b/lib/pico.php @@ -21,7 +21,10 @@ class Pico { else $file .= '.txt'; if(file_exists($file)) $content = file_get_contents($file); - else $content = file_get_contents(CONTENT_DIR .'404.txt'); + else { + $content = file_get_contents(CONTENT_DIR .'404.txt'); + header($_SERVER['SERVER_PROTOCOL'].' 404 Not Found'); + } $meta = $this->read_file_meta($content); $content = preg_replace('#/\*.+?\*/#s', '', $content); // Remove comments and meta