Fonction rewinddir() PHP
Exemple
Ouvrir un répertoire, lister les fichiers qu'il contient, réinitialiser le gestionnaire de répertoire, lister à nouveau les fichiers qu'il contient, puis fermer :
<?php
$dir = "/images/";
// Ouvrir le répertoire et lire son contenu
if (is_dir($dir)){
if ($dh = opendir($dir)){
// Liste à nouveau les fichiers du répertoire images
while (($file = readdir($dh)) !== false){
echo "filename:" . $file . "<br>";
}
rewinddir();
// Liste à nouveau les fichiers du répertoire images
while (($file = readdir($dh)) !== false){
echo "filename:" . $file . "<br>";
}
closedir($dh);
}
}
?>
Résultat :
filename: cat.gif filename: dog.gif filename: horse.gif filename: cat.gif filename: dog.gif filename: horse.gif
Définition et utilisation
La fonction rewinddir() réinitialise le gestionnaire de répertoire créé par opendir().
Syntaxe
rewinddir(dir_handle);
| Paramètres | Description |
|---|---|
| dir_handle |
Optionnel. Spécifiez la ressource de gestionnaire de répertoire ouvert précédemment par opendir(). Si ce paramètre n'est pas spécifié, l'ultimo lien ouvert par opendir() est utilisé. |
Détails techniques
| Valeur de retour : | - |
|---|---|
| Version PHP : | 4.0+ |
