$d = dirname($s);
if(file_exists("$d/$lang/$b"))
return file_get_contents("$d/$lang/$b");
- return file_get_contents($s);
+ if(file_exists($s))
+ return file_get_contents($s);
+ return '';
}}
$a->page['title'] = t('Help');
}
-
+ if(! strlen($text)) {
+ header($_SERVER["SERVER_PROTOCOL"] . ' 404 ' . t('Not Found'));
+ notice( t('Page not found.' ) . EOL);
+ return;
+ }
+
return Markdown($text);
}
\ No newline at end of file