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