Generating javadoc in Tomcat 7 with jdk 7 when java.7.home is set

[Violeta Georgieva <mi...@gmail.com>]

Hi,

I'm looking at the issue with javadoc reported by Rainer [1]
I know that we've decided to use the quick-fix tool for javadoc instead of
jdk 7 [2].
But that was before websocket downport that require jdk 7 for building.

What do you think if we start generating javadoc with jdk 7 when
java.7.home is set as suggested by Rainer ?

Thanks
Violeta


[1] http://markmail.org/message/hv2e32eo5du22dyf?q=7%2E0%2E47&page=2
[2]
http://markmail.org/message/344mf45rhjfttuim?q=CVE-2013-1571%2C+VU%23225657+list:org%2Eapache%2Etomcat%2Edev/

Re: Generating javadoc in Tomcat 7 with jdk 7 when java.7.home is set

[Konstantin Kolinko <kn...@gmail.com>]

2013/10/22 Violeta Georgieva <mi...@gmail.com>:
> Hi,
>
> I'm looking at the issue with javadoc reported by Rainer [1]
> I know that we've decided to use the quick-fix tool for javadoc instead of
> jdk 7 [2].
> But that was before websocket downport that require jdk 7 for building.
>
> What do you think if we start generating javadoc with jdk 7 when
> java.7.home is set as suggested by Rainer ?
>

+1


Personally I will be OK with an even more simple approach: require
Java 7 for javadoc.  The only other target that depends on it is the
"release" one,  and the release target already requires Java 7.

Best regards,
Konstantin Kolinko

>
> [1] http://markmail.org/message/hv2e32eo5du22dyf?q=7%2E0%2E47&page=2
> [2]
> http://markmail.org/message/344mf45rhjfttuim?q=CVE-2013-1571%2C+VU%23225657+list:org%2Eapache%2Etomcat%2Edev/

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org