/* Source Code */
<?php
$dir = "/images/";
// Open a directory, and read its contents
if (is_dir($dir)){
if ($dh = opendir($dir)){
// List files in images directory
while (($file = readdir($dh)) !== false){
echo "filename:" . $file . "<br>";
}
rewinddir();
// List once again files in images directory
while (($file = readdir($dh)) !== false){
echo "filename:" . $file . "<br>";
}
closedir($dh);
}
}
?>
/* Result */
filename: cat.gif
filename: dog.gif
filename: horse.gif
filename: cat.gif
filename: dog.gif
filename: horse.gif
rewinddir
(PHP 4, PHP 5, PHP 7, PHP 8)
rewinddir — Regresar el gestor de directorio
Descripción
rewinddir(resource
$dir_handle = ?): void
Restablece la secuencia de directorio indicada por
gestor_dir al comienzo del directorio.
Parámetros
Valores devueltos
devuelve null en caso de éxito o false en caso de error.
add a note
User Contributed Notes 2 notes
osamahussain897 at gmail dot com ¶
3 years ago
ASchmidt at Anamera dot net ¶
3 years ago
It is crucial to note that rewinddir() does not simply start over at the beginning of the SAME directory list. Instead, this function first re-reads the directory - thus any file that were deleted (or inserted) since the original opendir() will be reflected after "rewinding".
In that respect, rewinddir() is equivalent to a closedir(), opendir() sequence, but without obtaining a new handle.
