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