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]

Reply via email to