page: return 500 status and page on php exceptions

[minimedit.git] / page.php

diff --git a/page.php b/page.php
index f6c2346e17edbfa31ac7c654c3b603425e8675f6..9acacc2a949a87cf39e23079615ecb71d8125e66 100644 (file)
--- a/page.php
+++ b/page.php
@@ -2,6 +2,11 @@
 error_reporting(E_ALL);
 ini_set('display_errors', TRUE);
 
+set_exception_handler(function ($error) {
+       include_once 'page.inc.php';
+       include_once '500.php';
+});
+
 include_once 'auth.inc.php';
 $Edit = isset($_GET['edit']);