Ralph Einfeldt wrote:
> 4.1.11 Has been announced last friday as test milestone:
> http://jakarta.apache.org/builds/jakarta-tomcat-4.0/test/v4.1.11/
> 
> I did't recommend 4.1.12 as it isn't announced yet, so I don't 
> know which state it has.
> 
> I think you are right with the jspDestroy().

Yes, he's definitely right. You can file a bug.
It's not too hard to edit by hand the generated sources to fix the 
problem (by merging the two methods), though. Since only a very small 
amount of pages would likely need the jspDestroy, that could be a good 
enough workaround for now.

Remy


--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>

Reply via email to