Select a file

'; } else { $file = $_GET['file']; if (!preg_match('/^[a-z0-9_.-]+\.pdb$/', $file)) { echo '

Invalid filename passed (hacking attempt?)

'; } else if(!file_exists($file)) { echo '

File ',htmlspecialchars($file), ' doesn\'t exist

'; } else { ?>