You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@tomcat.apache.org by Stefan Mainz <St...@Dynaware.de> on 2000/08/08 10:40:54 UTC

Proposal: tomcat.bat should use %JAVA_HOME%\bin\java instead of java

On my developement system i do have different versions of java installed
and would like to change wich version tomcat uses by setting the
appropriate
JAVA_HOME environmnet.
This works well for the rt.jar, but fails on choosing the right jvm.
If someone witch write access to the CVS could please change it to 
use %JAVA_HOME%\bin\java.

Patch is attached.

Thanks Stefan
-- 
Dynaware Systemberatung GmbH
Am Westpark 7
81373 Müchnen

Tel: +49 89 743130-15
Fax: +49 89 743130-05
EMail: mailto:Stefan.Mainz@Dynaware.de