3 function abort($status, $body) {
4 header("HTTP/1.1 $status");
10 abort('405 post error', "niets te doen");
11 if (!isset($_SERVER['PATH_INFO']) or strlen($_SERVER['PATH_INFO']) <= 1)
12 abort('409 input error', "geen bestand aangeleverd");
14 $filename = preg_replace('/(?:\.html)?$/', '.html', ltrim($_SERVER['PATH_INFO'], '/'), 1);
15 if (file_exists($filename) and !is_writable($filename))
16 abort('403 input error', "ongeldige bestandsnaam: $filename");
18 if (!isset($_POST['body']))
19 abort('409 input error', "geen inhoud aangeleverd");
21 $upload = $_POST['body'];
23 if (!strlen($upload)) {
24 if (file_exists($filename) and !unlink($filename))
25 abort('500 delete error', "fout bij het verwijderen van $filename");
27 print "Bestand verwijderd";
31 $prepend = '<!--#include virtual="/head.inc.html" -->'."\n\n";
32 $append = "\n".'<!--#include virtual="/foot.inc.html" -->'."\n";
34 if (!file_put_contents($filename, $prepend . $upload . $append))
35 abort('500 save error', "fout bij schrijven van $filename");
37 print "Bestand opgeslagen";