mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d8023f | patch | commitdiff
jvergara
22.48.2007 bb15aa09f9dd807bb3f5710c53b78062befa35b0
refs
author jvergara <jvergara@localhost>
Monday, October 22, 2007 17:48 +0200
committer jvergara <jvergara@localhost>
Monday, October 22, 2007 17:48 +0200
commitbb15aa09f9dd807bb3f5710c53b78062befa35b0
tree 320dd6a06de36b982da68ae5c6d5fac7bc8fad0d tree | zip | gz
parent d8023feb2106086432741945c69d3f753505f417 view | diff 
Fix for issue 2483: Bad management of lib/set-java-home when java path changed

The code has been updated so that when we are checking in the scripts if the JAVA_BIN is good we see if the path specified in set-java-home does exist.  If it does not exist, update the contents of set-java-home with the new path.
4 files modified
155 ■■■■■ changed files
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/Installation.java 4 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/Installer.java 6 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/InstallDS.java 42 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/util/SetupUtils.java 103 ●●●●● diff | view | raw | blame | history