tomcat指定jre


tomcat如果不经过配置的话是默认使用环境变量里的JAVA_HOME和JRE_HOME,但是有些时候我们可能会想要指定特定的jre,比如旧版本的,这个时候就需要修改tomcat的配置。

需要修改的配置文件在tomcat的bin目录下,具体为setclasspath.bat。

通过在这个配置文件最前面添加以下两行可以达到目的:

set JAVA_HOME=D:\jdk1.6
set JRE_HOME=D:\jre1.6

有这样的配置的好处是,当多个项目需要使用不同版本的jre的时候,不需要反复安装特定版本的java,对于部署同理而言也更方便。

 

"人生在世,遇到不一样的人,人生可能就会变得不一样:要是你追在苍蝇后面,你就会在厕所附近打转;要是你追的是蜜蜂,你就可能漫步在花园里。"


免责声明!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系本站邮箱yoyou2525@163.com删除。



 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM