info sui file sessione

[aquatimer2000]

Ciao a tutti, vorrei sapere una cosa:

è normale che mi rimangono i file di sessione dentro la cartella di sessione (/tmp)?

non ci avevo mai fatto caso .... ce ne stanno in quantità industriali!

Si può far si che alla scadenza di una sessione venga cancellato automaticamente anche il file generato in /tmp?

[mircov]

Ma stai parlando del client o del server?
Se parli del client è normale: quella cartella andrebbe svuotata periodicamente 8o almeno così mi sembra di aver letto da qualche parte). Esistono dei programmi appositi che lo fanno.

In ogni caso, comunque, non è possibile farlo tramite php perchè se parli del client php non vi può accedere, se parli del server la cartella non credo sia modificabile dal php. Ciao!

[luca200]

In un forum si fanno domande e si danno risposte. Quelli che non sanno le cose fanno le domande, quelli che le sanno (quando possono e vogliono) rispondono. Qualcuno dovrebbe schiarirsi le idee su questa distinzione di ruoli.


@aquatimer: ignora il post qui sopra.
I file di sessione rimangono nella cartella, normalmente, fino a quando php non li elimina. Ciò dipende dai valori impostati nel php.ini (session.gc_maxlifetime , session.gc_probability , session.gc_divisor ), in base ai quali il garbage collector PUO' effettuare la pulizia delle sessioni scadute.
Ad esempio, se i tre valori di cui sopra fossero rispettivamente 1440, 1 e 100, vorrebbe dire che le sessioni scadono dopo 24 minuti (1440 secondi), ma il garbage collector parte con una probabilità di una volta ogni 100. Quindi su un server che lavora poco è possibile che rimangano lì a lungo.

[skidx]

Originariamente inviato da mircov
Ma stai parlando del client o del server?
Se parli del client è normale: quella cartella andrebbe svuotata periodicamente

Di quale cartella lato client stai parlando?
Sul client non viene salvata nessuna sessione, che risiede appunto sul server.

edit: non avevo visto la risposta di luca, sorry

[mircov]

Originariamente inviato da luca200
In un forum si fanno domande e si danno risposte. Quelli che non sanno le cose fanno le domande, quelli che le sanno (quando possono e vogliono) rispondono. Qualcuno dovrebbe schiarirsi le idee su questa distinzione di ruoli.

Purtroppo può capitare che qualcuno (in questo caso è capitato a me!) creda di saper rispondere ma in realtà non è così. Chiedo scusa a aquatimer2000 per avergli fornito informazioni errate e chiedo anche un po' più di comprensione a luca200: non tutti siamo onniscienti come te ed a noi comuni mortali capita di sbagliare!

[aquatimer2000]

@ luca200

1 - garbage collector...? che cosa è? Sta anche su macchine con OS windows (..os nel mio caso)?

2 - questi file che rimangono nella cartella /tmp del server, possono dare problemi?

3 - il server non lavora parecchio...un paiodi ore al giorno, considerando che ci gaccio i miei programmini stupidi e che lo utilizzo solo io.. in locale... come posso configurare il php.ini per poter eliminare questi file (tenendo conto dell'utilizzo che faccio del server)?

4 - è forse meglio evitare il punto 3 e cancellare a mano tutti i file (...che in fondo non è che mi porti via così tanto tempo..)

grazie a tutti per l'aiuto!

[mircov]

Un garbage collector è un programma che si occupa di eseguire periodicamente delle operazioni di cancellazione.

@ Luca200
Me la passi questa?

[aquatimer2000]

Originariamente inviato da mircov
Un garbage collector è un programma che si occupa di eseguire periodicamente delle operazioni di cancellazione

è un progrmma che si trova anche per windows?

[mircov]

Originariamente inviato da luca200
I file di sessione rimangono nella cartella, normalmente, fino a quando php non li elimina. Ciò dipende dai valori impostati nel php.ini (session.gc_maxlifetime , session.gc_probability , session.gc_divisor ), in base ai quali il garbage collector PUO' effettuare la pulizia delle sessioni scadute.

Il garbage collector non si trova: fa parte di php.

[IroN@xiD]

Originariamente inviato da skidx
Di quale cartella lato client stai parlando?
Sul client non viene salvata nessuna sessione, che risiede appunto sul server.

edit: non avevo visto la risposta di luca, sorry

Probabilmente parla della cartella dei cookies dove viene memorizzato il cookie di sessione.
Comunque anche in questo caso da php il cookies si può cancellare. Basta farlo scadere. Una volta scaduto il browser provvederà a cancellarlo.