Bonjour,

J'ai script php qui tourne en permanence sur mon serveur. Ce script scanne le contenu d'un répertoire et effectue des actions sur les fichiers qui y sont contenus.

Ci dessous mon script épuré :

Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
$dossier = 'chemin/vers/mon/dossier';
while(true){
    if($dossierOpen = opendir($dossier)){
        //Mon traitement sur les fichiers
        // ....
        closedir($dossierOpen);
    }
}
Au bout d'un moment, le script renvoie le warning suivant :
PHP Warning: closedir(): -2147483648 is not a valid Directory resource in ...
En investiguant un peu, j'ai fini par comprendre qu'à chaque fois que je fais un opendir, une ressource avec un nouvel id est créé, et comme le script tourne en permanence, il arrive un moment où l'id de ressource qui est auto incrémenté atteint la valeur maximale d'un integer.

Auriez-vous une idée de comment réinitialiser le resource_id ?

Je vous remercie par avance pour votre aide.