[eluser]aidehua[/eluser]
Thanks, Ricardino. 5-star answer

. I'm grateful.
(And sorry, it was kind of lazy/stupid of me not to think of looking in the session library.)
Oh, and thanks, CodeIgniter, too - that seems to be the right way to do it. It would be a bit mean to log someone out after 2 hours even if they had been busily requesting new pages every 5 minutes...