Sessions endgültig löschen

[Rolf B]

Hallo Melvin,

die Session ist mehr als das $_SESSION Array. Genau genommen ist $_SESSION lediglich die Arbeitsspeicherkopie auf die eigentliche Session.

Eine Session besteht zunächst aus einer Session-ID, die beim ersten session_start generiert wird. Diese ID kann in einem Cookie gespeichert oder in der URL verschlüsselt werden. Basierend auf dieser ID wird ein Speicherbereich angelegt, in dem die Sessiondaten abgelegt werden. Außerdem führt PHP noch einige interne Session-Daten.

session_destroy löscht den Hintergrundspeicher und die internen Session-Daten, wenn ich das richtig verstanden habe. Das $_SESSION Array wird nicht gelöscht, und wenn Du einen Session-Cookie nutzt, auch dieser nicht. Den Cookie musst Du selbst löschen, $_SESSION ist egal. Normalerweise wirst Du ja nach einem session_destroy nicht mehr viel zu tun haben; das ist eigentlich eine der letzten Amtshandlungen nach einem Logout des Users.

Um abzufragen, ob gerade eine Session offen ist, verwende die session_status Funktion.

Rolf