Filip Hanik - Dev Lists <devlists <at> hanik.com> writes: > besides having zero purpose in a production environment?
Right, it has no purpose in a production env. It's only used in development. > You've already been presented with so many options, take one of them and > use them, you can accomplish exactly what you are looking for, The Tomcat resources manager doesn't work at all as it doesn't reload the whole webapp and still uses a timer. > but I doubt anyone wants to actually add in code that you are suggesting into > the platform. I am going to see if I can create a patch for that. So, this places zero burden on you guys. The only question is whether this feature is absolutely less or is worth something for some people? --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
