}
}
+$staticpage = NULL;
+if (file_exists("$Page$Args.html")) {
+ $staticpage = "$Page$Args.html";
+ if (is_link($staticpage)) {
+ $target = preg_replace('/\.html$/', '', readlink($staticpage));
+ header("HTTP/1.1 302 Shorthand");
+ header("Location: $target");
+ exit;
+ }
+}
+elseif (file_exists("$Page$Args/index.html")) {
+ $staticpage = "$Page$Args/index.html";
+}
+elseif (!empty($User['admin'])) {
+ $staticpage = (file_exists("$Page/template.html") ? "$Page/template.html" : 'template.html');
+}
+
# load static contents
ob_start(); # page body
print '<div class="static">'."\n\n";
$found = FALSE;
-if (file_exists("$Page$Args.html")) {
- $found = include "./$Page$Args.html";
-}
-elseif (file_exists("$Page$Args/index.html")) {
- $found = include "./$Page$Args/index.html";
-}
-elseif (!empty($User['admin'])) {
- $found = include (file_exists("$Page/template.html") ? "$Page/template.html" : './template.html');
+if (isset($staticpage)) {
+ $found = include "./$staticpage";
}
print "</div>\n\n";