session_destroy broken?

[Anon]

high all,

i got a little problem with php v4.03 win32:

i do something like this:

session_start();
$foo="empty";
session_register("foo");
$foo="full";
:
.
session_destroy(); - results in ->

Warning: Session object destruction failed in c:/apache/htdocs/foo/admin_index.php on line xyz

the session handler is "file" and the session file is created properly in c:\temp
as set in php.ini (session.save_path) ...

so what the f**ck is going wrong???

THX a lot in advance

n.u.

[Anon]

I'm looking into it, I can quasi-mirror the effect by changing the permissions on the file... however, it does create an additional warning about not having the proper permission to read the file. This, however, is on a linux system w/ apache 1.3.12 & PHP 4.0.3 compiled in as a static module. That's the only thing that comes to mind, off hand. Oh wait - it's also possible that the session file is open when you try and destroy it? that might cause a problem too. All the permissions are there, but if a file is opened under windows, you can't delete it.

-S