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

Ludovic Poitou
06.05.2015 a3c5e0daf7af82b2f748c4fe5dcd577c4fa20d0d
Fix minor error on Java version required.
1 files modified
6 ■■■■ changed files
opendj-server-legacy/resource/bin/_script-util.bat 6 ●●●● patch | view | raw | blame | history
opendj-server-legacy/resource/bin/_script-util.bat
@@ -158,7 +158,7 @@
:noJavaFound
echo ERROR:  Could not find a valid Java binary to be used.
echo You must specify the path to a valid Java 7.0 update 10 or higher version.
echo You must specify the path to a valid Java 7.0 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 OPENDJ_JAVA_HOME to the root of a valid
@@ -198,7 +198,7 @@
echo ERROR:  The detected Java version could not be used.  The detected
echo Java binary is:
echo %OPENDJ_JAVA_BIN%
echo You must specify the path to a valid Java 7.0 update 10 or higher version.
echo You must specify the path to a valid Java 7.0 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 OPENDJ_JAVA_HOME to the root of a valid
@@ -224,7 +224,7 @@
echo arguments %OPENDJ_JAVA_ARGS%.
echo The detected Java binary is:
echo %OPENDJ_JAVA_BIN%
echo You must specify the path to a valid Java 7.0 update 10 or higher version.
echo You must specify the path to a valid Java 7.0 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 OPENDJ_JAVA_HOME to the root of a valid