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

jvergara
21.09.2007 e3481dab82e6849b68bf54205f121e18a647d142
refs
author jvergara <jvergara@localhost>
Friday, December 21, 2007 21:09 +0100
committer jvergara <jvergara@localhost>
Friday, December 21, 2007 21:09 +0100
commite3481dab82e6849b68bf54205f121e18a647d142
tree a4902bb22d0e945d4af17652ddf526ebcb72a6b0 tree | zip | gz
parent fcf8077575f5085524b8c87bcda0d9253e76f17c view | diff
The following one-line commit avoid problems in the case the user modifies set-java-home (or we keep an old set-java-home).  If calling set-java-hme does not set OPENDS_JAVA_BIN, just try to figure it out from the environment (instead of assuming that set-java-home will do that *always*).
1 files modified
3 ■■■■ changed files
opends/resource/bin/_script-util.sh 3 ●●●● diff | view | raw | blame | history