Doesn't the session_destroy do the $_SESSION reset?