session_destroy ist nicht 100%ig zuverlässig.
Schau dich mal im
php-Handbuch bei den _contributed notes_ um; die vom 19. April 2001 hat mir geholfen:
-----------------------------------------------
19-Apr-2001 03:28
Because I receive errors about an "uninitialized session" when
using session_destroy() I use the following commands instead :
unlink(session_save_path().'/sess_'.$PHPSESSID);
setcookie('PHPSESSID','',time()-3600,'/');
Seems this does do the job just fine...
-----------------------------------------------
php@sigmathree.com
19-Apr-2001 11:49
This DOES seem to work well. Thanks to php-general
unlink(session_save_path().'/sess_'.$PHPSESSID);
setcookie('PHPSESSID','',time()-3600,'/');