JavaLauncherBAT.zip
4KB
这个脚本执行后判断 JAVA_HOME 是不是有效, 如果找不到的话就打开帮助页面指导用户下载, 安装, 设置 JDK.
脚本流程如下(参考Tomcat的脚本,一些路径可能需要修改)
@echo off
SET JAVA_HOME=..\..\jdk1.5.0
REM Store the startup dir
set cur_dir=%cd%
cd ..\..\apache-tomcat-5.5.20\bin
REM Using user's own JAVA_HOME
if not "%JAVA_HOME%" == "" goto gotHome
REM Setting relatived path as JAVA_HOME
SET JAVA_HOME=..\..\jdk1.5.0
:gotHome
if exist "%JAVA_HOME%\bin\java.exe" goto okExec
start %cur_dir%\no_java.htm
goto end
:okExec
startup.bat
:end