ESTABLECER REDIS COMO GESTOR DE SESIONES EN PHP
Para establecer redis como gestor de sesiones en php solo hay que modificar el fichero de configuración "php.ini" (haciendo copia de seguridad antes) y cambiar los siguientes valores:- Buscar "session.save_handler" y poner lo siguente "session.save_handler=redis"
- Buscar "session.save_path" y poner lo siguente ""tcp://127.0.0.1:6379"" (este valor dependerá de como este redis configurado).
Para saber que la nueva configuración funciona basta con crear un fichero php y poner el siguiente código:
session_start();
$count = isset($_SESSION['count']) ? $_SESSION['count'] : 1;
echo $count;
$_SESSION['count'] = ++$count;