0 ? $_GET['path'] : "/"); if (is_file($path)) { $path = dirname($path); } // ----- header ----- ?> Directory does not exist.