I have the same issue as stated in Bug ID# 6693. Since I could not figure out how to add a comment to that bug report, I've created a new bug report. I'm including a sample script, output of the sample script, listing of temp files created by session functions, and php.ini file. Here we go ------------>

I use PHP w/PWS 4.0 under Win95. I also installed PHP under NT and ran a "demo" script via PHP.EXE w/the same results. Under both Win95(OSR2/FAT32) and NT 4.0 (SP6/NTFS), session_destroy() produces a "Session object destruction failed" message and session files are not removed from the temp directory.

Demo script ----->

<?php
session_start();
echo "Session ID: ".session_id();
session_destroy();
echo "Session ID: ".session_id();
?>

Result of script ----->

X-Powered-By: PHP/4.0.2
Set-Cookie: PHPSESSID=a0481b2d0e44fdfbeea095e3c687c018; path=/
Expires: Thu, 19 Nov 1981 08:52:00 GMT
Cache-Control: no-cache, post-check=0, pre-check=0
Pragma: no-cache
Content-type: text/html

Session ID: a0481b2d0e44fdfbeea095e3c687c018<br>
<b>Warning</b>:  Session object destruction failed in <b>sesstest.php</b> on line <b>4</b><br>
Session ID: 

Directory listing of c:\tmp ----->

 Volume in drive C is MICPII26601
 Volume Serial Number is 373A-DD15

 Directory of C:\TMP

10/02/00  11:59a        <DIR>          .
10/02/00  11:59a        <DIR>          ..
10/02/00  11:59a                     0 list
10/02/00  11:53a                     0 sess_7e64bac0ef207f70e44fcba11d7ed47f
10/02/00  11:45a                     0 sess_8e835332d0631e306e8d1c4fb714f697
10/02/00  11:58a                     0 sess_a0481b2d0e44fdfbeea095e3c687c018
10/02/00  11:55a                     0 sess_dfd93ae2bc95274d107758a3b4bcd057
               7 File(s)              0 bytes
                          1,720,855,040 bytes free

PHP.INI settings ------>

[Session]
session.save_handler      = files   ; handler used to store/retrieve data
session.save_path         = c:\tmp    ; argument passed to save_handler
                                    ; in the case of files, this is the
                                    ; path where data files are stored
session.use_cookies       = 1       ; whether to use cookies
session.name              = PHPSESSID  
                                    ; name of the session
                                    ; is used as cookie name
session.auto_start        = 0       ; initialize session on request startup
session.cookie_lifetime   = 0       ; lifetime in seconds of cookie
                                    ; or if 0, until browser is restarted
session.cookie_path       = /       ; the path the cookie is valid for
session.cookie_domain     =         ; the domain the cookie is valid for
session.serialize_handler = php     ; handler used to serialize data
                                    ; php is the standard serializer of PHP
session.gc_probability    = 1       ; percentual probability that the 
                                    ; 'garbage collection' process is started
                                    ; on every session initialization
session.gc_maxlifetime    = 1440    ; after this number of seconds, stored
                                    ; data will be seen as 'garbage' and
                                    ; cleaned up by the gc process
session.referer_check     =         ; check HTTP Referer to invalidate 
                                    ; externally stored URLs containing ids
session.entropy_length    = 0       ; how many bytes to read from the file
session.entropy_file      =         ; specified here to create the session id
; session.entropy_length    = 16
; session.entropy_file      = /dev/urandom
session.cache_limiter     = nocache ; set to {nocache,private,public} to
                                    ; determine HTTP caching aspects
session.cache_expire      = 180     ; document expires after n minutes