Liebe(r) Maetzzen,
Du kannst folgende Schritte ausführen, wenn es Dir um die Session-Dateien geht:
$_SESSION = array();
if (isset($_COOKIE[session_name()]))
setcookie(session_name(), '', time()-42000, '/');
}
session_destroy();
Muss man diese dann manuell löschen?
Man muss nicht, man kann. Wenn das Mindesthaltbarkeitsdatum einer Session abgelaufen ist, löscht der Webserver diese (eigentlich) von selbst.
Liebe Grüße,
Felix Riesterer.