Merge 776ceb2ef6e937255b79da61af58224b78da5cbe into df4d37bf13dd0de5d1aff933005dfd4616ee9167

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