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,对于部署同理而言也更方便。
"人生在世,遇到不一样的人,人生可能就会变得不一样:要是你追在苍蝇后面,你就会在厕所附近打转;要是你追的是蜜蜂,你就可能漫步在花园里。"