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--FILE--
9<?php
10
11ob_start();
12
13echo "*** Testing session_set_save_handler() : calling default handler when save_handler=user ***\n";
14
15$oldHandler = ini_get('session.save_handler');
16$handler = new SessionHandler;
17session_set_save_handler($handler);
18
19var_dump(session_start());
20?>
21--EXPECT--
22Fatal error: PHP Startup: Session save handler "user" cannot be set by ini_set() in Unknown on line 0
23*** Testing session_set_save_handler() : calling default handler when save_handler=user ***
24bool(true)
25