if (!$_POST)
abort("niets te doen", '405 post error');
-if (!$Args)
- abort("geen bestand aangeleverd", '409 input error');
-$filename = trim($Args, '/');
+$filename = trim($Args, '/') ?: 'index';
if (preg_match('{^\.}', $filename))
abort("ongeldige bestandsnaam: $filename", '403 input error');
if (is_dir($filename) && !file_exists("$filename.html"))