Am 14.01.2012 10:42, schrieb Geoffrey De Smet: > The tomcat war also works on jetty. The documentation says to use the > tomcat war if there is no specific war. > Maybe we should rename the tomcat war to "generic" war. +1 on the rename. Was a bit confused when I looked for a WAR to drop into my Jetty installation recently, but the one for tomcat worked flawlessly in Jetty7.
Ansgar _______________________________________________ rules-users mailing list rules-users@lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users
