<?php
ob_clean();
-function abort($status, $body) {
- header("HTTP/1.1 $status");
+function abort($body, $status = NULL) {
+ if ($status) header("HTTP/1.1 $status");
print "$body\n";
exit;
}
if (!@$User['admin'])
- abort('401 unauthorised', "geen beheersrechten");
+ abort("geen beheersrechten", '401 unauthorised');
if (!$_POST)
- abort('405 post error', "niets te doen");
-if (!isset($_SERVER['PATH_INFO']) or strlen($_SERVER['PATH_INFO']) <= 1)
- abort('409 input error', "geen bestand aangeleverd");
+ abort("niets te doen", '405 post error');
+if (!$Args)
+ abort("geen bestand aangeleverd", '409 input error');
$filename = ltrim($Args, '/').'.html';
if (preg_match('{^\.}', $filename))
- abort('403 input error', "ongeldige bestandsnaam: $filename");
+ abort("ongeldige bestandsnaam: $filename", '403 input error');
if (file_exists($filename) and !is_writable($filename))
- abort('403 input error', "onwijzigbaar bestand: $filename");
+ abort("onwijzigbaar bestand: $filename", '403 input error');
if (!isset($_POST['body']))
- abort('409 input error', "geen inhoud aangeleverd");
+ abort("geen inhoud aangeleverd", '409 input error');
$upload = $_POST['body'];
if (!strlen($upload)) {
if (file_exists($filename) and !unlink($filename))
- abort('500 delete error', "fout bij het verwijderen van $filename");
+ abort("fout bij het verwijderen van $filename", '500 delete error');
- print "Bestand verwijderd";
- exit;
+ abort("Bestand verwijderd");
}
if (!file_exists(dirname($filename)) and !mkdir(dirname($filename)))
- abort('500 save error', "fout bij aanmaken van map voor $filename");
+ abort("fout bij aanmaken van map voor $filename", '500 save error');
if (!file_put_contents($filename, $upload))
- abort('500 save error', "fout bij schrijven van $filename");
+ abort("fout bij schrijven van $filename", '500 save error');
-print "Bestand opgeslagen";
+abort("Bestand opgeslagen");