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

ludovicp
18.05.2010 154fe7cbc66d827c66b1589ca4e5b38a1ef993e4
opends/resource/bin/_script-util.bat
@@ -119,7 +119,7 @@
:noJavaFound
echo ERROR:  Could not find a valid Java binary to be used.
echo You must specify the path to a valid Java 6.0 or higher version.
echo You must specify the path to a valid Java 6.0 update 10 or higher version.
echo The procedure to follow is:
echo 1. Delete the file %INSTANCE_ROOT%\lib\set-java-home.bat if it exists.
echo 2. Set the environment variable OPENDS_JAVA_HOME to the root of a valid
@@ -152,7 +152,7 @@
echo ERROR:  The detected Java version could not be used.  The detected
echo Java binary is:
echo %OPENDS_JAVA_BIN%
echo You must specify the path to a valid Java 6.0 or higher version.
echo You must specify the path to a valid Java 6.0 update 10 or higher version.
echo The procedure to follow is:
echo 1. Delete the file %INSTANCE_ROOT%\lib\set-java-home.bat if it exists.
echo 2. Set the environment variable OPENDS_JAVA_HOME to the root of a valid
@@ -178,7 +178,7 @@
echo arguments %OPENDS_JAVA_ARGS%.
echo The detected Java binary is:
echo %OPENDS_JAVA_BIN%
echo You must specify the path to a valid Java 6.0 or higher version.
echo You must specify the path to a valid Java 6.0 update 10 or higher version.
echo The procedure to follow is:
echo 1. Delete the file %INSTANCE_ROOT%\lib\set-java-home.bat if it exists.
echo 2. Set the environment variable OPENDS_JAVA_HOME to the root of a valid