Nein, ich meine ganz simpel das Pendant zu session_start() - also
session_stop() (oder so ähnlich - habe jetzt keine Lust im Doku
nachzuschauen).
session_destroy();
Ja, so heisst das Ding - sorry. Aber die Funktion wird normalerweise nur
indirekt aufgerufen. Wenn nach einer Session auf einem wenig benutzen
Server keine weiteren session_start() oder session_stop() aufgerufen
werden, lebt das Session File weiter ...
Warum ist das mit der Zeitüberschreitung wichtig? Das PHP System
zum löschen der alten Sessions ist von einigen Zufallsfaktoren
abhängig. Im Prinzip kann eine Session ewig leben wenn sie nicht
gelöscht wird ... und aus reiner Vorsicht ist es daher zu empfehlen,
in den Session Daten den Zeitpunkt der letzen Aktivität zu merken.
Laut 'php.ini' ist die Session-lifetime 3600 Sekunden. Danach ist sie zum Abschuss automatisch freigegeben. Einfluss auf die 'php.ini' habe ich leider nicht! *schnief*
Sie lieber froh, dass du die Verantwortung nicht trägst :-)
Session-lifetime könnt auch auf 360.000 Sek. stehen. Deshalb ist
eine §_SESSION[LETZER_KONTAKT]=timestamp wichtig!