cs_Houzefa
Messages postés453Date d'inscriptiondimanche 9 février 2003StatutMembreDernière intervention 9 juillet 20042 2 juil. 2004 à 18:11
voici la doc de la fonction session_destroy() sur le manuel traduit en francais de PHP 4 :
session_destroy() détruit la session courante et toutes les données associées avec cette session. Aucune des variables contenant les données de la session ne seront détruite, mais celles écrite sur le serveur le seront. L'identifiant de session est libéré, et les prochains accès à cette session ne fourniront pas les valeurs actuelles. Le cookie de session n'est pas supprimé immédiatement, mais dès la prochaine page.
voilà donc le fichier de la session devrait etre détruit. si c'est pas le cas il est stocké dans "/tmp" ou dans le dossier défini dans session.save_path dans php.ini. le nom de la session est session.name ou PHPSESSID.
mais normalement il devrait etre supprimé, aussi physiquement.
cs_Houzefa
Messages postés453Date d'inscriptiondimanche 9 février 2003StatutMembreDernière intervention 9 juillet 20042 5 juil. 2004 à 17:43
dans ce cas tu peux le supprimer toi-meme en utilisant la fonction unlink() qui permet de supprimer un fichier. pour trouver l'adresse du fichier de session à supprimer c'est avec session.save_path et session.name comme jtai di dans mon message d'avant.
mais faut que tu sois sur ton propre serveur pour cela.