mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 569498 | patch | commitdiff
jvergara
20.41.2009 b05d71f7c4f7cf048f7604559ddca60e26094be9
refs
author jvergara <jvergara@localhost>
Friday, November 20, 2009 11:41 +0100
committer jvergara <jvergara@localhost>
Friday, November 20, 2009 11:41 +0100
commitb05d71f7c4f7cf048f7604559ddca60e26094be9
tree 7ef24acf7622c83f8c95a4dde551dfa8610adcb5 tree | zip | gz
parent 56949846363abf037c29913c4a3d7065ef4033e6 view | diff 
Fix for issue 4362 (failure to detect properly installed Java)
The fix consists on two parts:
1. Give priority to the java binary set in the path (which is usually updated when java is installed).
2. Check that actually the java binary found in the environment variables does exist.
2 files modified
146 ■■■■■ changed files
opends/resource/bin/_script-util.bat 18 ●●●●● diff | view | raw | blame | history
opends/resource/bin/_script-util.sh 128 ●●●●● diff | view | raw | blame | history