note 23407 added to function.is-dir

I finally found a *very* clumsy workaround for the problem above: $dir = opendir("/home/username/public_html/some_directory"); while (($file = readdir($dir)) !== false) { if (filetype("/home/username/public_html/some_directory/".$file) != "dir") { echo "<option value=\"".$file."\">".$file."</option>"; } } closedir($dir); -- http://www.php.net/manual/en/function.is-dir.php http://master.php.net/manage/user-notes.php?action=edit+23407 http://master.php.net/manage/user-notes.php?action=delete+23407 http://master.php.net/manage/user-notes.php?action=reject+23407