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).
Después de guardar el fichero. Es necesario reinicar apache para que se tenga en nueva 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;
echo $count; $_SESSION['count'] = ++$count;
Como se puede ver es bastante sencillo.