mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 348edb | patch | commitdiff
jvergara
14.01.2010 2a8f1e37c57ffa47dea764b2e83887d17e18e839
refs
author jvergara <jvergara@localhost>
Thursday, January 14, 2010 23:01 +0100
committer jvergara <jvergara@localhost>
Thursday, January 14, 2010 23:01 +0100
commit2a8f1e37c57ffa47dea764b2e83887d17e18e839
tree 93197a5da71cdd7ce07c86dd87d32564ad6145d6 tree | zip | gz
parent 348edb64d7952c3fe42a78c49088472b39a1407f view | diff 
Fix for issue 4489 (java is not detected even if the JAVA_HOME variable is defined)
3 files modified
16 ■■■■■ changed files
opendj-sdk/opends/resource/bin/_script-util.bat 8 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/bin/_script-util.sh 4 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/bin/start-ds.bat 4 ●●●●● diff | view | raw | blame | history