[imp] Fwd: Re: Errors when using the Sessions tool

[Chuck Hagenbuch]

Please keep discussion on the list.

----- Forwarded message from jwinius at umrk.to -----
     Date: Tue, 04 Dec 2007 19:10:22 +0100
     From: Jaap Winius <jwinius at umrk.to>
  Subject: Re: [imp] Errors when using the Sessions tool
       To: Chuck Hagenbuch <chuck at horde.org>

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


----- End forwarded message -----


-chuck