mirror of
https://github.com/php/php-src.git
synced 2026-03-26 01:02:25 +01:00
18 lines
318 B
PHP
18 lines
318 B
PHP
--TEST--
|
|
Bug #60860 (session.save_handler=user without defined function core dumps)
|
|
--EXTENSIONS--
|
|
session
|
|
--INI--
|
|
session.save_handler=user
|
|
error_log=
|
|
--FILE--
|
|
<?php
|
|
|
|
session_start();
|
|
echo "ok\n";
|
|
|
|
?>
|
|
--EXPECT--
|
|
Fatal error: PHP Startup: Session save handler "user" cannot be set by ini_set() in Unknown on line 0
|
|
ok
|