Jetty cleans the temp dir on startup automatically, Tomcat probably doesn't do it. Still, this shouldn't happen on production, because we clean the files when session is unbound. But when you just kill tomcat, there is no way we can clean sessions. Unless we check on startup if the folder is empty for given session store. I'm not sure we should do that though.
-Matej On 9/24/07, Johan Compagner <[EMAIL PROTECTED]> wrote: > Yes we listen to unBind events, so they should be deleted. > The only way that doesn't happen currently that i can think of if you kill > tomcat the hard way > then the current sessions will never normally expire and will never be > cleaned > > johan > > > > On 9/24/07, Eelco Hillenius <[EMAIL PROTECTED]> wrote: > > > > On 9/24/07, Johan Compagner <[EMAIL PROTECTED]> wrote: > > > how do you stop tomcat when you stop it (if you do that) > > > Make sure that you never kill tomcat, If you do that then you have to > > delete > > > the dirs yourself. > > > > But even without shutting down, those old sessions should be removed, > > no? I mean, as far as I remember, we explicitly delete them when they > > expire. > > > > Eelco > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [EMAIL PROTECTED] > > For additional commands, e-mail: [EMAIL PROTECTED] > > > > > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
