mirror of
https://github.com/php/php-src.git
synced 2026-04-04 22:52:40 +02:00
22 lines
361 B
PHP
22 lines
361 B
PHP
--TEST--
|
|
Bug #60860 (session.save_handler=user without defined function core dumps)
|
|
--EXTENSIONS--
|
|
session
|
|
--SKIPIF--
|
|
<?php
|
|
include('skipif.inc');
|
|
?>
|
|
--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
|