mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7c1435 | patch | commitdiff
jvergara
02.16.2008 84bb0e96722a3e49a3d01d1592bdb57fcfc99582
refs
author jvergara <jvergara@localhost>
Wednesday, April 2, 2008 17:16 +0200
committer jvergara <jvergara@localhost>
Wednesday, April 2, 2008 17:16 +0200
commit84bb0e96722a3e49a3d01d1592bdb57fcfc99582
tree eafb68e92596b7ff72611c920733bc2e25dc9d4c tree | zip | gz
parent 7c1435e4a2424835734086dd1eae25806ba0763f view | diff 
Fix for issue 2444 (Commands setup/start/etc... should check Java release and reject unsupported ones)

The script-util.sh test java functions now also handle the case where we have a non supported 1.5 version of the JDK.
3 files modified
41 ■■■■■ changed files
opendj-sdk/opends/resource/bin/_script-util.bat 11 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/bin/_script-util.sh 18 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/InstallDS.java 12 ●●●●● diff | view | raw | blame | history