dir
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 — Cerrar un gestor de directorio
Descripción
void closedir
( resource $gestor_dir
)
Cierra la secuencia de directorio indicada por gestor_dir . La secuencia debe haber sido abierta previamente por opendir().
Lista de parámetros
Ejemplos
Example #1 Ejemplo de closedir()
<?php
$dir = "/etc/php5/";
// Abrir un directorio conocido, leer del directorio en una variable y cerrarlo
if (is_dir($dir)) {
if ($gd = opendir($dir)) {
$directorio = readdir($gd);
closedir($gd);
}
}
?>
add a note
User Contributed Notesclosedir
lester.k at virgin.com
22-Feb-2008 10:27
22-Feb-2008 10:27
foo at bar dot com
24-Nov-2000 10:35
24-Nov-2000 10: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).