1--TEST-- 2Bug #73100 (session_destroy null dereference in ps_files_path_create) 3--SKIPIF-- 4<?php 5if (!extension_loaded('session')) die('skip session extension not available'); 6?> 7--FILE-- 8<?php 9ob_start(); 10var_dump(session_start()); 11session_module_name("user"); 12var_dump(session_destroy()); 13?> 14===DONE=== 15--EXPECTF-- 16bool(true) 17 18Warning: session_module_name(): A session is active. You cannot change the session module's ini settings at this time in %s on line %d 19 20Warning: session_destroy(): Session object destruction failed in %s on line %d 21bool(false) 22===DONE=== 23
