X-Git-Url: http://git.shiar.net/minimedit.git/blobdiff_plain/f1c8b901b85c7ca981eab8e26f83d40b4b5fe97b..da2d6e5537e9fdcd6f424ea1cc8ab6ef8f45727e:/error.inc.php

diff --git a/error.inc.php b/error.inc.php
index faa7190..a9669c4 100644
--- a/error.inc.php
+++ b/error.inc.php
@@ -1,9 +1,16 @@
 <?php
 # custom error handling for MinimEdit
 
-function abort($body, $status = NULL)
+function abort($body, string $status = NULL)
 {
-	if ($status) header("HTTP/1.1 $status");
+	if ($status) {
+		header("HTTP/1.1 $status");
+		if ($status[0] === '3') {
+			# redirection (body specifies target)
+			header("Location: $body");
+			exit;
+		}
+	}
 	print "$body\n";
 	exit;
 }