Bonjour Nonobstant le fait que je réinvente la roue, je me suis mis en tête d'écrire un gestionnaire de session avec PHPRedis. J'aurais besoin de références sur PHPRedis, et pourriez vous me dire si https://github.com/phpredis/phpredis donne des infos suffisamment exhaustives ? Ou bien pourriez-vous m'indiquer une autre documentation ? Merci.
Je me répond. J'ai la doc entière de PHPRedis sur fichier. Pour ce qui est de l'implémentation, je suppose que, comme mon cache perso MySQL, c'est une question d'équilibrage entre le nombre de blocs de sessions différentes, et la quantité de data par bloc. Je vais essayer d'avoir un serveur redis du type loopback/socket. Amicalement.
