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）中指定这些设置（以及其他设置）。