mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 62442a | patch | commitdiff
jvergara
03.25.2008 2b85eb1c89a0af6bb76b3772c3b8c8ec00ca63b4
refs
author jvergara <jvergara@localhost>
Thursday, January 3, 2008 22:25 +0100
committer jvergara <jvergara@localhost>
Thursday, January 3, 2008 22:25 +0100
commit2b85eb1c89a0af6bb76b3772c3b8c8ec00ca63b4
tree 68a8450f2b61d19f9289d1866aca54bfc8d5758c tree | zip | gz
parent 62442a251e2bc0c25c15f691f751db9624e8b378 view | diff 
Fix a bug in the java properties tools that broke the script because of a missing line break.
Improve the indentation of the resulting set-java-home file generated by dsjavaproperties.
Do not use JAVA_ARGS in lib/set-java-properties.
Make the setup not to overwrite the environment variables by default.
3 files modified
50 ■■■■■ changed files
opendj-sdk/opends/resource/bin/_script-util.bat 1 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java 4 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 45 ●●●●● diff | view | raw | blame | history