The manual says that one should only call closedir with a parameter which is an open directory handle.
The manual usually lists warnings and errors generated by violating a "should" or "shouldn't", but doesn't for this case.
In fact, one gets the runtime error
Warning: closedir(): supplied argument is not a valid Directory resource in whatever.php on line nn
irrespective of whether it's an already-closed directory handle or whether it's total junk.
[Different error messages would have spared me a little debugging. Sigh. It would be nice if the manual said.]
closedir
(PHP 4, PHP 5)
closedir — ディレクトリハンドルをクローズする
説明
void closedir
( resource $dir_handle
)
dir_handle で指定したディレクトリのストリームをクローズします。このストリームは、 opendir()により事前にオープンされていなければ なりません。
例
例1 closedir() の例
<?php
$dir = "/etc/php5/";
// 既知のディレクトリをオープンし、変数にディレクトリを読み込んで閉じる
if (is_dir($dir)) {
if ($dh = opendir($dir)) {
$directory = readdir($dh);
closedir($dh);
}
}
?>
closedir
lester.k at virgin.com
23-Feb-2008 03:27
23-Feb-2008 03:27
foo at bar dot com
25-Nov-2000 03:35
25-Nov-2000 03:35
About deleting a directory after doing a readdir/closedir on it... I'm not sure if this is the solution, but you could try to chdir("/"); before the rmdir to make absolutely sure you aren't standing in the directory (i.e trying to pull out the rug from under yourself).