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:
  1. Buscar "session.save_handler" y poner lo siguente "session.save_handler=redis"
  2. Buscar "session.save_path" y poner lo siguente ""tcp://127.0.0.1:6379"" (este valor dependerá de como este redis configurado).
Después de guardar el fichero. Es necesario reinicar apache para que se tenga en cuenta la nueva configuración.
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;