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,對於部署同理而言也更方便。
"人生在世,遇到不一樣的人,人生可能就會變得不一樣:要是你追在蒼蠅后面,你就會在廁所附近打轉;要是你追的是蜜蜂,你就可能漫步在花園里。"