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

jvergara
08.44.2007 3af4e07c6abfeb03d2746d12ba6df258e8da8ce4
opends/resource/bin/stop-ds.bat
@@ -62,12 +62,14 @@
echo Error: JAVA_HOME environment variable is not set.
echo        Please set it to a valid Java 5 (or later) installation.
echo %SCRIPT%: JAVA_HOME environment variable is not set. >> %LOG%
pause
goto end
:noValidJavaHome
echo %SCRIPT%: The detected Java version could not be used. JAVA_HOME=[%JAVA_HOME%] >> %LOG%
echo ERROR:  The detected Java version could not be used.  Please set 
echo         JAVA_HOME to to a valid Java 5 (or later) installation.
pause
goto end
:setClassPath