allora, ho installato il pacchettp php-redis e il server redis.
poi ho modificato il php.ini:
Codice PHP:
session.save_handler = redis
session.save_path = "tcp://localhost:6379?weight=1&read_timeout=2.5"
riavviato il server, e lanciato questo script da due browser:
Codice PHP:
session_start();
var_dump(session_save_path());
$_SESSION['nome'] = 'Mattepuffo';
$_SESSION['url'] = 'www.mattepuffo.com';
bene, sono andato a vedere le KEYS:
codice:
KEYS *
1) "PHPREDIS_SESSION:o3sg0ll0kcn8v7mq0ts7rgbto5"
2) "PHPREDIS_SESSION:rme3optac1l1789qeo99qae2j7"
quindi memorizza gli id di sessione.
e tra l'altro le sessioni vengono anche cancellate in automatico scaduto il tempo impostato nel php.ini.
l'unico problema, è che non saprei bene che farci cmq