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

jvergara
25.13.2007 4bd78f7c29f0348bbb04c17246c16b8691294f85
refs
author jvergara <jvergara@localhost>
Wednesday, April 25, 2007 19:13 +0200
committer jvergara <jvergara@localhost>
Wednesday, April 25, 2007 19:13 +0200
commit4bd78f7c29f0348bbb04c17246c16b8691294f85
tree cbd39de13c7928a13dfee8915d42c537f5741530 tree | zip | gz
parent a0e78ef5e10ec444d5bde68f33677c6a5e314d2a 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
opendj-sdk/opends/resource/setup 6 ●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/setup.bat 10 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/uninstall 6 ●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/uninstall.bat 11 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/upgrade 6 ●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/upgrade.bat 12 ●●●●● diff | view | raw | blame | history