Cancellare cookie di sessione

[hysoka44]

Ciao ragazzi,

come da titolo: i cookie di sessione che apache tiene salvati nella cartella da me specificata non vengono mai cancellati automaticamente. Come posso far si che questi cookie vengano cancellati dopo che l'utente ha effettuato il logout?
Non riesco a trovare la linea da modificare nel php.ini.

E nel caso si debba fare tramite codice, qual'è la giusta funzione tra le mille??
session_destroy, $_SESSION = Array() e session_unset non cancellano il file cookie! Già le ho provate in tutti i modi!

Grazie in anticipo!

[Ranma2]

session_destroy()

oppure

setcookie("PHPSESSID","",time()-3600,"/"); 

[piero.mac]

cancellare i cookie, invalidare il file di sessione oppure cancellare i file di sessione dal server ????

non e' la stessa cosa.

[hysoka44]

Ranma2, ma la setcookie() non setta file cookie sul client? O sbaglio? Perchè io non tengo cookie sul client oltre a quello necessario per stabilire la sessione.

Comunque intendo proprio cancellare il file di sessione dal server! Dal momento che viene creato ogni volta che un browser apre la pagina, mi ritrovo la cartella strapiena in poco tempo, e non viene mai svuotata dai file non piu necessari!

Io stabilisco la mia sessione così:dopodichè che nell'array $_SESSION piazzo tutto ciò che mi serve riguardo l'utente connesso.

<?php 
session_start(); 

/* se nel cookie di sessione è definita almeno la variabile uid allora l'utente è loggato */
if(isset($_SESSION['uid']))
{	header('Location: kingdom.php');   }
?>

[piero.mac]

Originariamente inviato da hysoka44
Comunque intendo proprio cancellare il file di sessione dal server! Dal momento che viene creato ogni volta che un browser apre la pagina, mi ritrovo la cartella strapiena in poco tempo, e non viene mai svuotata dai file non piu necessari!

; NOTE: If you are using the subdirectory option for storing session files
; (see session.save_path above), then garbage collection does *not*
; happen automatically. You will need to do your own garbage
; collection through a shell script, cron entry, or some other method.
; For example, the following script would is the equivalent of
; setting session.gc_maxlifetime to 1440 (1440 seconds = 24 minutes):
; cd /path/to/sessions; find -cmin +24 | xargs rm

se i file di sessione sono in una sottocartella devi provvedere tu a cancellare le sessioni scadute. Se invece sono nel classico (e comune a tutti) /tmp allora il garbage collector spazza una tantum ad ogni session_start tra i file di sessione scaduti.

Trovi parametri e descrizioni nel file php.ini alla sezione [session]

[Ranma2]

Originariamente inviato da hysoka44
Ranma2, ma la setcookie() non setta file cookie sul client? O sbaglio? Perchè io non tengo cookie sul client oltre a quello necessario per stabilire la sessione.

Comunque intendo proprio cancellare il file di sessione dal server! Dal momento che viene creato ogni volta che un browser apre la pagina, mi ritrovo la cartella strapiena in poco tempo, e non viene mai svuotata dai file non piu necessari!

Io stabilisco la mia sessione così:dopodichè che nell'array $_SESSION piazzo tutto ciò che mi serve riguardo l'utente connesso.

<?php 
session_start(); 

/* se nel cookie di sessione è definita almeno la variabile uid allora l'utente è loggato */
if(isset($_SESSION['uid']))
{	header('Location: kingdom.php');   }
?>

Per generare una sessione viene creato appunto il PHPSESSID nella macchina del visitatore, altrimento come potrebbe il server identificarlo?