page: provide abort function from edit

[minimedit.git] / page.php

diff --git a/page.php b/page.php
index 1f86e5b2c63fbff6d08a42be713ffba1491d028b..76a99b5b8aa5ede7689faa37d1e0f68b895b816e 100644 (file)
--- a/page.php
+++ b/page.php
@@ -2,6 +2,12 @@
 error_reporting(E_ALL);
 ini_set('display_errors', TRUE);
 
+function abort($body, $status = NULL) {
+       if ($status) header("HTTP/1.1 $status");
+       print "$body\n";
+       exit;
+}
+
 function getoutput($blocks = [])
 {
        $rep = [];