2012/3/15 Nick Williams <nicholas.willi...@puresafety.com>: > 2012/3/15 Nick Williams <nicholas.willi...@puresafety.com>: >> Good to know. What about the next version of Tomcat 6? Will it also >> get >> 3.7.2 (or at least 3.7.1)? Or will it stay on 3.7.0 for the >> foreseeable future? That's my big concern. As long as Tomcat 6 has >> 3.7.1 or better, it should be able to compile JSPs for Java 7. With > 3.7.0, it can't. >> > > > 1. Please do not top-post. > > 2. There is some time (months?) before next Tomcat 6. I think ECJ > version will be updated. > > 3. The more people use and say there are no issues, the easier it is > to update. > > In your case, to use Java 7 features in JSPs you would have to also > reconfigure JspServlet (using compilerSourceVM / compilerTargetVM > options) to target Java 7. > > Best regards, > Konstantin Kolinko > > --------------------------------------------------------------------- > > I see that the default values for compilerSourceVM and > compilerTargetVM are 1.5 in Tomcat 6 and 1.6 in Tomcat 7. It would > need to be changed to > 1.7 in both, correct? > > I know this is starting to creep out of the scope of this mailing list > somewhat, but is changing these values in $CATALINA_BASE/conf/web.xml > the ONLY way to configure Tomcat to compile with 1.7? Can something > not be specified in web.xml to make it use 1.7 for that particular web > application? Or context.xml? Or anything else? >
You should be able to copy that <servlet> into your web.xml. The only caveat is that you would have to change its <name> and to copy its <servlet-mapping>s as well. I personally have never done that with JspServlet, but I often do so with DefaultServlet e.g. to enable directory listings. Best regards, Konstantin Kolinko --------------------------------------------------------------------- Gotchya. Doing so, however, would make it non-portable to other application servers. We'll stick to changing the value in $CATALINA_BASE/conf/web.xml for now, and I'll put in an enhancement request based on how the other popular application servers do it. Maybe somebody will pick it up, maybe not. It never hurts to suggest. Nick --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
