$staticpage = NULL;
if (file_exists("$Page$Args.html")) {
$staticpage = "$Page$Args.html";
+ if (is_link($staticpage)) {
+ $target = readlink($staticpage);
+ header("HTTP/1.1 302 Shorthand");
+ header("Location: $target");
+ exit;
+ }
}
elseif (file_exists("$Page$Args/index.html")) {
$staticpage = "$Page$Args/index.html";