Tomcat 7.0.72 - JRE_HOME与JAVA_HOME不同

Question

当我运行Tomcat时，我看到了JRE_HOME的值：

Using JRE_HOME:        /Library/Java/JavaVirtualMachines/jdk1.8.0_65.jdk/Contents/Home

虽然我目前的JAVA_HOME不同：

echo $JAVA_HOME
/Library/Java/JavaVirtualMachines/jdk1.7.0_79.jdk/Contents/Home

似乎Tomcat使用两个不同的java版本：JDK 1.8作为JRE_HOME，JDK 1.7作为JAVA_HOME。

我可以强制Tomcat将我的JAVA_HOME用作JRE_HOME吗？

Answer 1

您可以在setenv.sh脚本（Windows中的setenv.bat）中指定这些设置（以及其他设置）。