Hallo guelcki,
session_destroy();
auch noch den Befehl
setcookie("PHPSESSID");
benutzen. Wie ich das rausgelesen habe, ändert dieser den Cookie auf dem Clientrechner. Ich finde diesesn Befehl aber nicht in SelfPHP.
<zitat src="Programming PHP" author="Rasmus Lerdorf & Kevin Tatroe" translation="frei">
Um eine Session zu beenden, rufe
session_destroy()
auf. Dies entfernt den 'data store' (ist mir keine angemessene Übersetzung eingefallen) der laufenden Session, aber es entfernt nicht das Cookie aus dem Browser-Cache. Das bedeutet, dass bei weiteren Besuchen auf den Seiten mit Sessions der Benutzer die gleiche Session ID haben wird, die sie vor session_destroy() besaß, aber keine der vorherigen Daten.
</zitat>
PS: Rasmus Lerdorf ist der Schöpfer von PHP.
Gruss,
Vinzenz