1--TEST-- 2Bug #73100 (session_destroy null dereference in ps_files_path_create) 3--EXTENSIONS-- 4session 5--INI-- 6session.save_path= 7session.save_handler=files 8--FILE-- 9<?php 10ob_start(); 11var_dump(session_start()); 12session_module_name("user"); 13var_dump(session_destroy()); 14 15try { 16 session_module_name("user"); 17} catch (\ValueError $e) { 18 echo $e->getMessage() . \PHP_EOL; 19} 20?> 21===DONE=== 22--EXPECTF-- 23bool(true) 24 25Warning: session_module_name(): Session save handler module cannot be changed when a session is active in %s on line %d 26bool(true) 27session_module_name(): Argument #1 ($module) cannot be "user" 28===DONE=== 29
