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，对于部署同理而言也更方便。

 

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