[PHP] File_exists pr un dossier ?
Résolu
94_killer_94
Messages postés
234
Date d'inscription
Statut
Membre
Dernière intervention
-
94_killer_94 Messages postés 234 Date d'inscription Statut Membre Dernière intervention -
94_killer_94 Messages postés 234 Date d'inscription Statut Membre Dernière intervention -
salut tout la monde,
Est ce qu'il existe, en php, une fonction comme file_exists(); mais qui fonctionne avec les dossiers ?
Voila, c'est tout.
Merci d'avance
Matthias
Est ce qu'il existe, en php, une fonction comme file_exists(); mais qui fonctionne avec les dossiers ?
Voila, c'est tout.
Merci d'avance
Matthias
A voir également:
- [PHP] File_exists pr un dossier ?
- Dossier appdata - Guide
- Impossible de supprimer un dossier - Guide
- Mettre un mot de passe sur un dossier - Guide
- Comment dézipper un dossier - Guide
- Dossier démarrage - Guide
4 réponses
Alors, si mes souvenirs sont bon, file_exists detecte aussi bien les fichiers que les dossiers. On peut faire un is_dir par la suite pour etre sur que ce soit un dossier.
Salut,
Tu peux utiliser la méthode is_dir. Un peu de documentation :
http://php.benscom.com/manual/fr/function.is-dir.php
@+
Tu peux utiliser la méthode is_dir. Un peu de documentation :
http://php.benscom.com/manual/fr/function.is-dir.php
@+
Tu peux essayer de l'ouvrir, ou de tester si c'est un dossier, s'il te renvoie un message, c'est qu'il n'existe pas :
$dir = "/tmp/php5";
// Ouvre un dossier bien connu, et liste tous les fichiers
if (is_dir($dir)) {
if ($dh = opendir($dir)) {
while (($file = readdir($dh)) !== false) {
echo "fichier : $file : type : " . filetype($dir . $file) . "\n";
}
closedir($dh);
}
}