Funzione rewinddir() PHP
Esempio
Apri una directory, elenca i file al suo interno, riimposta il gestore di directory, elenca di nuovo i file e quindi chiudi:
<?php
$dir = "/images/";
// Apri la directory e leggi il suo contenuto
if (is_dir($dir)){
if ($dh = opendir($dir)){
// Elenco dei file nella directory images
while (($file = readdir($dh)) !== false){
echo "filename:" . $file . "<br>";
}
rewinddir();
// Elenco di nuovo dei file nella directory images
while (($file = readdir($dh)) !== false){
echo "filename:" . $file . "<br>";
}
closedir($dh);
}
}
?>
Risultato:
filename: cat.gif filename: dog.gif filename: horse.gif filename: cat.gif filename: dog.gif filename: horse.gif
Definizione e uso
La funzione rewinddir() riimposta il gestore di directory creato da opendir().
Sintassi
rewinddir(dir_handle);
| Parametro | Descrizione |
|---|---|
| dir_handle |
Opzionale. Specificare la risorsa di gestione del directory precedentemente aperta da opendir(). Se il parametro non è specificato, viene utilizzato l'ultimo link aperto da opendir(). |
Dettagli tecnici
| Valore di ritorno: | - |
|---|---|
| Versione PHP: | 4.0+ |
