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] > >
