ID: 33271 User updated by: neo_in_matrix at msn dot com Reported By: neo_in_matrix at msn dot com Status: Bogus Bug Type: Session related Operating System: Windows XP PRO/SP2 PHP Version: 5.0.4 New Comment:
Okay, I see I must call session_destory manually to let the session files delted. But, I think since it is not like what we need in Web server environment, php-win should call session_destory automatically when it exists, just like it cleans up opened file handles. Right? I hope my argument makes sense. Previous Comments: ------------------------------------------------------------------------ [2005-06-08 12:29:55] [EMAIL PROTECTED] Thank you for taking the time to write to us, but this is not a bug. Please double-check the documentation available at http://www.php.net/manual/ and the instructions on how to report a bug at http://bugs.php.net/how-to-report.php I don't see any reason to change current behaviour of session garbage collector. Read about it here: http://php.net/session ------------------------------------------------------------------------ [2005-06-08 10:03:10] neo_in_matrix at msn dot com Description: ------------ Though it is a bit strange for me to find that php-win also has session support ($_SESSION), but it is even more strange for to find that when php-win exits, the session file is not deleted. Reproduce code: --------------- This is what I have in php.ini in %windir%: session.save_path = "d:/temp/apache/session" And my simple script is like this: $_SESSION['test'] = 123; Expected result: ---------------- This script creates a session file (such as sess_b003da224c2d5c1d50a9a8c95725ddca) in d:/temp/apache/session. When the script terminates, I think php-win should delete the create session file, since it is not like php-cgi that has a session timeout. Once a script terminates, its session should be considered 'destroyed'. Actual result: -------------- Session file is not deleted. ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=33271&edit=1
