error_reporting(E_ALL);
ini_set('display_errors', TRUE);
+function fail($error)
+{
+ http_response_code(500);
+ include_once 'page.inc.php';
+ ob_start();
+ require_once './500.html';
+ print str_replace('[[debug]]', $error, ob_get_clean());
+}
+set_exception_handler('fail');
+register_shutdown_function(function () {
+ # display failure page for fatal exceptions
+ $error = error_get_last();
+ if (!($error['type'] & (E_ERROR | E_CORE_ERROR | E_COMPILE_ERROR | E_USER_ERROR))) return;
+ fail("Fatal: $error[message] in $error[file]:$error[line]");
+});
+
include_once 'auth.inc.php';
$Edit = isset($_GET['edit']);
+# distinguish subpage Args from topmost Page script
+
$Args = '';
$Page = preg_replace('/\?.*/', '', $_SERVER['REQUEST_URI']);
$Page = urldecode(trim($Page, '/')) ?: 'index';
while (TRUE) {
- if (file_exists("$Page/index.html")) {
- $Page .= '/index';
- break;
- }
- if (file_exists("$Page.html")) {
- break;
- }
if (file_exists("$Page.php")) {
- # unformatted script override
- require "$Page.php";
- exit;
+ break;
}
$up = strrpos($Page, '/');
+ $Args = substr($Page, $up) . $Args;
+ $Page = substr($Page, 0, $up);
if ($up === FALSE) {
- if ($User['admin']) {
- $Page = 'template';
- break;
- }
- http_response_code(404);
- $Page = '404';
break;
}
- $Args = substr($Page, $up) . $Args;
- $Page = substr($Page, 0, $up);
}
-include 'page.inc.php';
+# load static contents
+
+ob_start(); # page body
+ob_start(); # inner html
+print '<div class="static">'."\n\n";
+
+$found = FALSE;
+if (file_exists("$Page$Args/index.html")) {
+ $found = include "./$Page$Args/index.html";
+}
+elseif (file_exists("$Page$Args.html")) {
+ $found = include "./$Page$Args.html";
+}
+
+print "</div>\n\n";
+
+# execute dynamic code
+
+if ($Page) {
+ $found |= require "./$Page.php";
+}
+
+# global html
+
+include_once 'page.inc.php';
+
+if (!$found) {
+ # no resulting output
+ if (isset($User) and $User['admin']) {
+ require './template.html';
+ }
+ else {
+ http_response_code(404);
+ ob_start();
+ require "./404.html";
+ $url = htmlspecialchars($_SERVER['REQUEST_URI']);
+ print str_replace('[[url]]', $url, ob_get_clean());
+ }
+}
+