page: catch fatal php errors

diff --git a/page.php b/page.php
index 856a08a55f15dec44e4fb486cb4643689d6d5574..4944467684b1673e46060a2dba4094410c6c1634 100644 (file)
--- a/page.php
+++ b/page.php
@@ -2,12 +2,20 @@
 error_reporting(E_ALL);
 ini_set('display_errors', TRUE);
 
-set_exception_handler(function ($error) {
+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';