mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
25.13.2007 5c961270fe3401ebb151b857e9e6bb3443aa0ffc
opends/resource/upgrade.bat
@@ -53,13 +53,23 @@
:noSetJavaHome
echo Error: JAVA_HOME environment variable is not set.
echo        Please set it to a valid Java 5 installation.
echo        Please set it to a valid Java 5 (or later) installation.
goto end
:noValidJavaHome
echo ERROR:  The detected Java version could not be used.  Please set
echo         JAVA_HOME to to a valid Java 5 (or later) installation.
goto end
set PATH=%SystemRoot%
rem Test that the provided JDK is 1.5 compatible.
"%JAVA_BIN%" org.opends.server.tools.InstallDS -t > NUL 2>&1
if not %errorlevel% == 0 goto noValidJavaHome
if "%*" == "" goto callWebStartUpgrade
:callExtractor
if EXIST .\tmp\upgrade rd .\tmp\upgrade /s /q
set CLASSPATH=""