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

jvergara
25.13.2007 5c961270fe3401ebb151b857e9e6bb3443aa0ffc
refs
author jvergara <jvergara@localhost>
Wednesday, April 25, 2007 19:13 +0200
committer jvergara <jvergara@localhost>
Wednesday, April 25, 2007 19:13 +0200
commit5c961270fe3401ebb151b857e9e6bb3443aa0ffc
tree 5ebef0eac29b7dbb844c97f7e47fe0225cdb3e93 tree | zip | gz
parent b1225d4ea6bf876a5f2a1c097b2c908af49354b9 view | diff
Fix for issue 1273 (exception if JAVA_HOME undefined in scripts).

The fix consists of modifying the scripts to launch the InstallDS classwith a test option using the JVM that was found. If the JVM can be successfully launched, the JVM is compatible with 1.5, if not we as sume that is not compatible with JDK 1.5.

The downside of the fix is that it requires an additional start of the JVM each time the command line is launched. That is why the fix only applies to setup, uninstall, upgrade, start and stop command lines. The modifications in _server-script.* and _client-script.sh just modify the message displayed when a JVM could not be found (informing that JDK 1.5 or later can be used).
6 files modified
51 ■■■■ changed files
opends/resource/setup 6 ●●●● diff | view | raw | blame | history
opends/resource/setup.bat 10 ●●●●● diff | view | raw | blame | history
opends/resource/uninstall 6 ●●●● diff | view | raw | blame | history
opends/resource/uninstall.bat 11 ●●●●● diff | view | raw | blame | history
opends/resource/upgrade 6 ●●●● diff | view | raw | blame | history
opends/resource/upgrade.bat 12 ●●●●● diff | view | raw | blame | history