session 存入 redis

<?php
header('content-type:text/html;charset=utf-8');
/*
 * 更改 session 存储位置及存储方式。
 */
ini_set('session.save_handler', 'redis');
ini_set('session.save_path', 'tcp://127.0.0.1:6379');
/**
 * 现在操作 session。
 * 无需改变任何操作方式，仍是原生操作方式。
 */
session_start();
$_SESSION['user_name'] = '212121212121221';
/**
 * 我们来验证一波。
 * 连接 redis 根据 session_id 取出对应数据。
 */
$redis = new \Redis();
$redis -> connect('127.0.0.1' , 6379);
$a =  $redis->get('PHPREDIS_SESSION:' . session_id());
var_dump($a);