tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Kirk True <k...@mustardgrain.com>
Subject Re: Tomcat newbie developer tasks?
Date Wed, 10 Dec 2008 00:37:07 GMT
Hi Mark,

Mark Thomas wrote:
> Take a look at the following bugs. 
>   

. . .

>
> https://issues.apache.org/bugzilla/show_bug.cgi?id=38570
> https://issues.apache.org/bugzilla/show_bug.cgi?id=38726
> https://issues.apache.org/bugzilla/show_bug.cgi?id=39013
>
>   


Bugs 38570 and 38726 do not reproduce for the trunk, 6.0.18, or 5.5.27. 
I noted this in the bug but didn't close them - should I?

However, bug 39013 still occurs on the trunk (as of yesterday). I trace 
through and found a one-liner that solved the reported issue and 
attached the patch to the bug. As noted in the bug comments, I could 
easily have overlooked or broken something inadvertently.

Thanks,
Kirk

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


Mime
View raw message