[horde] sessions not expiring

[Kevin Konowalec]

I've set up my php.ini file as such:


session.gc_probability = 1
session.gc_divisor     = 100
session.gc_maxlifetime = 900


Why is it that I have users still logged on after 6 hours when I know  
they're not actively using the system?  Is there someplace else I can  
configure something to end a session after a long period of  
inactivity?  I interpret that section above as "there is a 1% chance  
on every click that garbage collection will happen - and if the  
session hadn't been active for 15 mins (900 seconds) then it expires  
it".  Is that wrong?