[PHP] fermer un répertoire

phpro -  
 le père -
Bonjour,

j'aimerais savoir comment, en php, fermer un répertoire :

<?php
opendir("mon_repertoire");
//opération avec le répertoire
//fermer le répertoire
?>


merci
A voir également:

1 réponse

le père
 
Bonjour

Avec closedir. Mais il faut avoir gardé une trace de la ressource fournie par opendir :
<?php
$dir=opendir("mon_repertoire");
//opération avec le répertoire
closedir($dir);  //fermer le répertoire
?>


voir https://www.php.net/manual/fr/function.closedir.php
0