note 25903 added to function.session-destroy

For information, I use session_destroy in order to finish a session and i want to begin a new session with a different session ident. My solution is : $_SESSION= array(); unset($_GET[session_name()]); session_destroy(); session_start(); Without unset, the session ident remains the same. I haven't seen it anywhere. -- http://www.php.net/manual/en/function.session-destroy.php http://master.php.net/manage/user-notes.php?action=edit+25903 http://master.php.net/manage/user-notes.php?action=delete+25903 http://master.php.net/manage/user-notes.php?action=reject+25903