Bonjour,

mon site étant hébergé chez free, j'ai créé un répertoire sessions.
Ce répertoire se remplit de fichiers contenant les informations de la personne actuellement logguée.

Mais quand celle ci se déloggue, les informations du fichier sessions sont effacées (normal) mais le fichier lui même subsiste dans le dossier sessions.

Je me retrouve donc avec un dossier session contenant plein de fichiers vides .

Je voudrais savoir d'une part si cela est normal, et d'autre part comment faire pour vider ce dossier sessions (s'il y a un intérêt).

Merci pour votre aide

Je voudrais savoir d'une part si cela est normal, et d'autre part comment faire pour vider ce dossier sessions (s'il y a un intérêt).

Personnellement je ne trouve pas d'interet à changer le dossier sessions, mais ça ne répondra pas à ta question

Personnellement je ne trouve pas d'interet à changer le dossier sessions, mais ça ne répondra pas à ta question

changer...?

Je pense que c'est normal supernova, je viens de vérifier chez moi j'ai des fichiers vides aussi.

Quant à l'utilité de le vider je ne pense pas, il ne pèse quasiment rien du tout Au pire tu fais le ménage de printemps une fois par an

merci pour vos réponses, me voila rassuré.

Pour ceux qui on la main sur le serveur et ses fichiers de configuration, c'est paramétrable par les variables de configuration:

session.gc_divisor
session.gc_probability

Le rapport session.gc_probability/session.gc_divisor détermine à quelle fréquence le GC (garbage collection de php) effacera les fichiers de session obsolètes (l'obsolescence est déterminée par session.gc_maxlifetime)

Attention, certaines installations sont tellement restrictives au niveau des droits sur les répertoires de session (root uniquement) que le UID d'apache/php n'aura pas les droits pour faire son GC. Il faudra alors simplement faire un cron job (root) pour nettoyer. Ou changer les droits mais on ouvre une porte...