[eluser]Pascal Kriete[/eluser]
sess_destroy changes the expiration time of the cookie to a negative time, so it disappears on the next refresh. Try reloading the page, you'll see it go away.
[eluser]webthink[/eluser]
I know but the code you provided will only work if he's using PHP's Native Sessions. There's no indication that he is. In fact there is every indication that he isn't.