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