4 function abort($body, $status = NULL) {
5 if ($status) header("HTTP/1.1 $status");
11 abort("geen beheersrechten", '401 unauthorised');
14 abort("niets te doen", '405 post error');
16 abort("geen bestand aangeleverd", '409 input error');
18 $filename = ltrim($Args, '/').'.html';
19 if (preg_match('{^\.}', $filename))
20 abort("ongeldige bestandsnaam: $filename", '403 input error');
21 if (file_exists($filename) and !is_writable($filename))
22 abort("onwijzigbaar bestand: $filename", '403 input error');
24 if (!isset($_POST['body']))
25 abort("geen inhoud aangeleverd", '409 input error');
27 $upload = $_POST['body'];
29 if (!strlen($upload)) {
30 if (file_exists($filename) and !unlink($filename))
31 abort("fout bij het verwijderen van $filename", '500 delete error');
33 abort("Bestand verwijderd");
36 if (!file_exists(dirname($filename)) and !mkdir(dirname($filename)))
37 abort("fout bij aanmaken van map voor $filename", '500 save error');
39 if (!file_put_contents($filename, $upload))
40 abort("fout bij schrijven van $filename", '500 save error');
42 abort("Bestand opgeslagen");