[Phpmyadmin-devel] session_cleanup.lib.php

[Isaac Bennetch]

Hi,

On 6/23/07, Marc Delisle <Marc.Delisle at cegepsherbrooke.qc.ca> wrote:
> Or should we just destroy the session at logout time? I was not brave
> enough to test this...

If I understand your intentions, destroying the session will suffice.
You may need to unset the session ID as indicated in the official
notes at http://us.php.net/session_destroy, but to remove user
settings like navi_limit_offset it should due well enough to simply
call session_destroy. I've successfully used session_destroy to blow
out user settings and it seems that is also what you're trying to do
here.

Regards,
ipb