我阅读了有关在JBoss上热部署jsp文件的帖子。
Jsp compilation not on the fly with jboss
它涉及修改文件void function(const char*& t1, const char*& t2);
。但是，我没有这样的文件。
我在$server/deploy/jbossweb.sar/web.xml文件夹下搜索web.xml，并得到以下结果：
server \ default \ deploy \ http-invoker.sar \ invoker.war \ WEB-INF
server \ default \ deploy \ jbossws.sar \ jbossws-management.war \ WEB-INF
server \ default \ deployers \ jbossweb.deployer
server \ default \ deploy \ management \ console-mgr.sar \ web-console.war \ WEB-INF
server \ default \ deploy \ jbossws.sar \ jbossws-management.war \ WEB-INF
我应该修改哪个web.xml？