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]

Reply via email to