一、session的基本操作
1、操作session首先要启动session
session_start()
2、获取session ID
session_id()
3、通过session ID获取session
在session_start()之前 通过session_id($sessionId)来设置
因为 session_start()会生成sessionID
二、session过期时间
session.gc_maxlifetime = 1440 //默认是 24分钟
当时间到了还不过期是因为 session的过期还有额外的限制
session.gc_probability = 1 //可能性
session.gc_divisor = 1000 //除数
也就是 1/1000 意思是1000次才有1次被回收的可能
当session.gc_divisor=1的时候,严格按照既定的时间过期
设置session过期时间
可以直接改 php.ini文件的 session.gc_maxlifetime
也可以 ini.set('session.gc_maxlifetime',6666)
三、session存储到Redis
存储到Redis中
在php.ini中修改
session.save_handler = redis
session.save_path="tcp://127.0.0.1:6379?auth=password"
在代码中修改
ini_set('session.save_handler', 'redis');
ini_set('session.save_path', 'tcp://127.0.0.1:6379');
网友评论