I am also having a similar problem to gunther.
I use session_start(),session_register("a","b","c");
then session_destroy();
I see that the file is gone (/tmp/sess_bla blah)
yet when i use the same browser to log in,
a, b, and c are still set...
either the problem is in the browser OR PHP is not refreshing memory??!!!