page: catch fatal php errors

[minimedit.git] / page.php

diff --git a/page.php b/page.php
index f6088dd859dcb2906477307b99a52088610ee554..4944467684b1673e46060a2dba4094410c6c1634 100644 (file)
--- a/page.php
+++ b/page.php
@@ -2,34 +2,80 @@
 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) {
-               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());
+       }
+}
+