Fonction rewinddir()
Exemple
Ouvrez un répertoire, listez ses fichiers, réinitialisez le gestionnaire de répertoire, listez à nouveau ses fichiers, puis fermez-le :
<?php
$dir = "/images/";
// Ouvrir un répertoire et lire son contenu
if (is_dir($dir)){
if ($dh = opendir($dir)){
// Lister les fichiers dans le répertoire images
while (($file = readdir($dh)) !== false){
echo "nom de fichier:" . $file . "<br>";
}
rewinddir();
// Lister à nouveau les fichiers dans le répertoire images
while (($file = readdir($dh)) !== false){
echo "nom de fichier:" . $file . "<br>";
}
closedir($dh);
}
}
?> Résultat :
nom de fichier: cat.gif
nom de fichier: dog.gif
nom de fichier: horse.gif
nom de fichier: cat.gif
nom de fichier: dog.gif
nom de fichier: horse.gif Définition et Utilisation
La fonction rewinddir() réinitialise le gestionnaire de répertoire créé par opendir() .
Syntaxe
rewinddir( dir ) Valeurs des Paramètres
| Paramètre | Description |
|---|---|
| dir | Optionnel. Spécifie la ressource du gestionnaire de répertoire précédemment ouverte avec opendir() . Si ce paramètre n'est pas spécifié, le dernier lien ouvert par opendir() est utilisé |
Détails Techniques
| Valeur de Retour : | NULL en cas de succès, FALSE en cas d'échec |
|---|---|
| Version PHP : | 4.0+ |