JBoss servlet destroy

[sjneworleans]

Hello, I currently have several servlets running in Tomcat 4.1. When tomcat shuts down the destory() method of each servlet writes a file to let other programs know that they are dead. We now need to move these servlets into JBOSS, running Tomcat 4.1. Moving the site was easy, but when the JBOSS server is shutdown, it is not executing the destory() method of the servlets. Any suggestions

[thomas.diesler]

I don't know, please ask again in the tomcat forum

http://www.jboss.org/index.html?module=bb&op=viewforum&f=50