mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9333c8 | patch | commitdiff
jvergara
22.48.2007 4f03d1c6b9b340f55a817b0dcb5b6a1cffdb87a1
refs
author jvergara <jvergara@localhost>
Monday, October 22, 2007 17:48 +0200
committer jvergara <jvergara@localhost>
Monday, October 22, 2007 17:48 +0200
commit4f03d1c6b9b340f55a817b0dcb5b6a1cffdb87a1
tree 73f1e7890f8798e56ce252e4e3e547f397a0559f tree | zip | gz
parent 9333c8dfd72d2ad28be57c8471dd8cac4a0044ff 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
opends/src/quicksetup/org/opends/quicksetup/Installation.java 4 ●●●●● diff | view | raw | blame | history
opends/src/quicksetup/org/opends/quicksetup/installer/Installer.java 6 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/InstallDS.java 42 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/util/SetupUtils.java 103 ●●●●● diff | view | raw | blame | history