Replacing Tomcat in JBoss 5.1.0 with Jetty 7.x

[fiddleman]

There seems to be no documentation on how to replace Tomcat with Jetty 7.x in JBoss 5.1.0, either at the Jetty site or at the JBoss site. Has anyone accomplished this?

Thanks

-mark

[saltnlight5]

I failed to see a reason you want to do this other than for your own sake of exercising. In that case, take a look at the jboss-5.1.0.GA\server\default\deployers\jbossweb.deployer, especially the beans in META-INF/war-deployers-jboss-beans.xml. That's how they deploy war file using Tomcat in JBoss.