If no <Manager> is defined, then the default used by Tomcat is the one that persists! Is there a way to change the default that tomcat uses?
Shapira, Yoav wrote:
Howdy,
I read that there is a SESSION.ser file hanging about, someone on this
list suggested that it is in the work dir, but I can't find it
anywhere. I guess one way round this problem would be to delete the
this file before each re-start, but I don't know where it is!
If there's no such file, it's because no sessions where persisted. You deployment (or restart, or whatever) script should look for this file under tomcat's work directory, and if found erase it.
Yoav Shapira
This e-mail, including any attachments, is a confidential business communication, and may contain information that is confidential, proprietary and/or privileged. This e-mail is intended only for the individual(s) to whom it is addressed, and may not be saved, copied, printed, disclosed or used by anyone else. If you are not the(an) intended recipient, please immediately delete this e-mail from your computer system and notify the sender. Thank you.
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
--
V
. . . . . . . . . tel:+34.918.131.331
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
