You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@tomcat.apache.org by Jean-francois Arcand <je...@sun.com> on 2002/08/01 03:01:06 UTC

[PATCH][jakarta-tomcat-catalina]

Hi,

this minor change fixes a bug : when an appllication is undeployed 
(removed), ContainerEvent with the value of REMOVE_EVENT are fired.

The bug is also in jakarta-tomcat-4. Should I send another patch?

Thanks,

-- Jeanfrancois