php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #6984 problems w/ session_destroy() function
Submitted: 2000-10-03 00:18 UTC Modified: 2001-04-27 19:28 UTC
From: olivera at b-belec dot com Assigned:
Status: Closed Package: Session related
PHP Version: 4.0.2 OS: Win95, WinNT
Private report: No CVE-ID: None
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
Package:
Bug Type:
Summary:
From: olivera at b-belec dot com
New email:
PHP Version: OS:

 

 [2000-10-03 00:18 UTC] olivera at b-belec dot 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


Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2000-10-03 00:19 UTC] olivera at b-belec dot com
Categorized bug report under correct type.
 [2000-10-03 02:56 UTC] waldschrott@php.net
this is dup without further information, #5231 reopened
 [2001-04-27 19:28 UTC] sniper@php.net
fixed
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved.
Last updated: Mon Jul 07 05:01:36 2025 UTC