<?php
# custom error handling for MinimEdit

function abort($body, string $status = NULL)
{
	if ($status) {
		header("HTTP/1.1 $status");
		if ($status[0] === '3') {
			# redirection (body specifies target)
			header("Location: $body");
			exit;
		}
	}
	header('Content-Type: text/plain; charset=utf-8');
	print "$body\n";
	exit;
}

function fail($error)
{
	global $User, $Page;
	http_response_code(500);
	if (!isset($Page)) {
		require_once('article.inc.php');
		$Page = new ArchiveArticle(NULL);
		$Page->title = 'Fout';
	}
	include_once 'page.inc.php';

	ob_start();
	require '500.inc.html';
	$Page->place['debug'] = htmlspecialchars($error);
	$Page->raw = ob_get_clean();
	print $Page->render();
}

set_exception_handler('fail');

define('E_FATAL', E_ERROR | E_CORE_ERROR | E_COMPILE_ERROR | E_USER_ERROR);

set_error_handler(function ($level, $error, $file, $line) {
	if ($level & E_FATAL) {
		fail($error);
		return;
	}
	return FALSE;
});

register_shutdown_function(function () {
	# display failure page for fatal exceptions
	$error = error_get_last();
	if (!($error['type'] & E_FATAL)) return;
	fail("Fatal: $error[message] in $error[file]:$error[line]");
});

error_reporting(error_reporting() & ~E_FATAL);