function abort($status, $body) {
header("HTTP/1.1 $status");
print "$body\n";
function abort($status, $body) {
header("HTTP/1.1 $status");
print "$body\n";
if (!file_put_contents($filename, $upload))
abort('500 save error', "fout bij schrijven van $filename");
if (!file_put_contents($filename, $upload))
abort('500 save error', "fout bij schrijven van $filename");