1--TEST--
2Test session_set_save_handler() : calling default handler when save_handler=user
3--INI--
4session.save_handler=user
5session.name=PHPSESSID
6--SKIPIF--
7<?php
8include('skipif.inc');
9?>
10--FILE--
11<?php
12
13ob_start();
14
15echo "*** Testing session_set_save_handler() : calling default handler when save_handler=user ***\n";
16
17$oldHandler = ini_get('session.save_handler');
18$handler = new SessionHandler;
19session_set_save_handler($handler);
20
21session_start();
22?>
23--EXPECT--
24Fatal error: PHP Startup: Session save handler "user" cannot be set by ini_set() in Unknown on line 0
25*** Testing session_set_save_handler() : calling default handler when save_handler=user ***
26