if (!$Args)
abort("geen bestand aangeleverd", '409 input error');
-$filename = ltrim($Args, '/').'.html';
+$filename = trim($Args, '/');
if (preg_match('{^\.}', $filename))
abort("ongeldige bestandsnaam: $filename", '403 input error');
+if (is_dir($filename) && !file_exists("$filename.html"))
+ $filename .= '/index';
+$filename .= '.html';
if (file_exists($filename) and !is_writable($filename))
abort("onwijzigbaar bestand: $filename", '403 input error');