if (preg_match('{^\.}', $filename))
abort("ongeldige bestandsnaam: $filename", '403 input error');
if (is_dir($filename) && !file_exists("$filename.html"))
if (preg_match('{^\.}', $filename))
abort("ongeldige bestandsnaam: $filename", '403 input error');
if (is_dir($filename) && !file_exists("$filename.html"))