PHP 4.0 Bug #7683: session_destroy() does not function

From: svanpoeck@mailplanet.net Operating system: Win2K PHP version: 4.0.3pl1 PHP Bug Type: *Session related Bug description: session_destroy() does not function *** This bug report is related to BUG REPORT #5231 *** Having upgraded to PHP-4.0.3pl1, I still encounter the problem described in bug #5231, although a statement was made that this should be fixed before release 4.0.3 (sic). System info: - No php.ini file (so defaults prevail) - IIS 5.0 on Win2K Server (not Advanced~) - PHP-4.0.3pl1 as isapi module - Single site server (not online yet) Observed behaviour: - When trying to use session_destroy() after a session_start(), I get: "Warning: Session object destruction failed in D:\pcgi\exit.php on line 18" - I then read that you can't delete a file when in use on Windows systems, so I omitted session_start(). session_destroy() then returned: "Warning: Trying to destroy uninitialized session in D:\pcgi\exit.php on line 18" Precision: - I do not "use" the session before the session_destroy() call (no variables changed, no added nor unregistered) Do you have a new release date for the fix ? Thx, Steven -- Edit Bug report at: http://bugs.php.net/?id=7683&edit=1