DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT <http://issues.apache.org/bugzilla/show_bug.cgi?id=28737>. ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND INSERTED IN THE BUG DATABASE.
http://issues.apache.org/bugzilla/show_bug.cgi?id=28737 Tomcat chooses wrong JDK at startup ------- Additional Comments From [EMAIL PROTECTED] 2004-05-09 12:06 ------- Yes I read that page and followed all steps on the page before writing the bug. No old bug exists, the FAQ says nothing, ... Yes BZ is a tool for developers. Therefore I use BZ to report the developers that tomcat 5.0.19 has a bug. I do not seek help. I'm able to set JAVA_HOME temporary to a different value. I will not reopen the bug, but: You know know that 5.0.19 has a bug. It seems that you do not care whether the bug still exists in 5.0.24.... Bernd --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]