-#!/usr/bin/php-cgi
<?php
function abort($status, $body) {
header("HTTP/1.1 $status");
$filename = preg_replace('/(?:\.html)?$/', '.html', ltrim($_SERVER['PATH_INFO'], '/'), 1);
if (file_exists($filename) and !is_writable($filename))
abort('403 input error', "ongeldige bestandsnaam: $filename");
+if (is_executable($filename))
+ abort('403 input error', "onwijzigbaar bestand: $filename");
if (!isset($_POST['body']))
abort('409 input error', "geen inhoud aangeleverd");
exit;
}
-$prepend = '<!--#include virtual="/common.html" -->'."\n\n";
-$append = "\n".'<!--#include virtual="/footer.html" -->'."\n";
+$prepend = '<!--#include virtual="/head.inc.html" -->'."\n\n";
+$append = "\n".'<!--#include virtual="/foot.inc.html" -->'."\n";
if (!file_put_contents($filename, $prepend . $upload . $append))
abort('500 save error', "fout bij schrijven van $filename");