[php] Fehler beim Aufruf von session_destroy();

[Guido Haeger]

Guido Haeger schrieb

> das gleiche Problem habe ich auch, weshalb ich gestern ein
> entsprechendes Posting in die PHP-NG gestellt habe. Unter Linux
> funktioniert session_destroy() korrekt. Es scheint sich dabei um einen
> Bug unter Win zu handeln. Ich lösche unter Win im Moment einfach die
> entsprechende Session-Datei ("sess_"+SessionID).

Nachtrag, es gab doch schon einen entsprechenden Bug-Report. In
PHP4.0.4-dev unter ww.php4win.de ist das schon gefixt.

Guido Haeger