Bug #6984 Updated: problems w/ session_destroy() function

ID: 6984 Updated by: sniper Reported By: olivera@b-belec.com Old-Status: Duplicate Status: Closed Bug Type: *Session related PHP Version: 4.0.2 Assigned To: Comments: fixed Previous Comments: --------------------------------------------------------------------------- [2000-10-03 02:56:52] waldschrott@php.net this is dup without further information, #5231 reopened --------------------------------------------------------------------------- [2000-10-03 00:19:59] olivera@b-belec.com Categorized bug report under correct type. --------------------------------------------------------------------------- [2000-10-03 00:18:22] olivera@b-belec.com 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 --------------------------------------------------------------------------- ATTENTION! Do NOT reply to this email! To reply, use the web interface found at http://bugs.php.net/?id=6984&edit=2