[imp] Errors when using the Sessions tool

[Jaap Winius]

Quoting Chuck Hagenbuch <chuck at horde.org>:

> You have to set session.save_path in your php.ini (or other PHP
> configuration) to where you actually store sessions.

Got it. The session tool is working fine now. However, I notice that if
I log out of Horde3 and restart my browser(tab), the old session files
don't get deleted. They only get replaced if I log out and log back in
again without restarting my browser(tab). As a result, very many
session files will accumulate.

I could delete these old files after a few days or so by running a
separate script, but it would be nice if Horde could delete the
associated session files immediately after the users logged out.
What's the best way to deal with this issue?

Cheers,

Jaap