English | 简体中文 | 繁體中文 | Русский язык | Français | Español | Português | Deutsch | 日本語 | 한국어 | Italiano | بالعربية
Manuale di riferimento PHP Directory
La funzione rewinddir() reimposta opendir() Gestore di directory creato.
void rewinddir ( resource $dir_handle );
Reimposta il flusso di directory specificato da dir_handle all'inizio della directory.
Numero di sequenza | Parametri e descrizione |
---|---|
1 | dir_handle(Obbligatorio) Risorsa del gestore di directory aperta precedentemente da opendir(). Se questo parametro non è specificato, viene utilizzato l'ultimo collegamento aperto da opendir(). |
Ritorna il nome del file con successo, FALSE in caso di fallimento.
Di seguito è riportato l'uso di questa funzione: aprire una directory, elencare i file al suo interno e riportare il gestore di directory, quindi rielencare i file al suo interno e chiuderla:
<?php $dir = opendir("/var/www/images"); while (($file =rewinddir($dir)) !== false) { echo "filename: " . $file . "<br />"; } rewinddir($dir); while (($file =rewinddir($dir)) !== false) { echo "filename: " . $file . "<br />"; } closedir($dir); ?>
Risultato di output:
filename: . filename: .. filename: logo.gif filename: mohd.gif filename: . filename: .. filename: logo.gif filename: mohd.gif