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