mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 98b064 | patch | commitdiff
jvergara
03.25.2008 6184df3d1062cf8b064b448fe21128ac13754bdc
refs
author jvergara <jvergara@localhost>
Thursday, January 3, 2008 22:25 +0100
committer jvergara <jvergara@localhost>
Thursday, January 3, 2008 22:25 +0100
commit6184df3d1062cf8b064b448fe21128ac13754bdc
tree 615cca148c76bf046be196f94eedd85d3dd97536 tree | zip | gz
parent 98b064cc2b5792578baf0a392e2f814cecc423d7 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
opends/resource/bin/_script-util.bat 1 ●●●●● diff | view | raw | blame | history
opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java 4 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 45 ●●●●● diff | view | raw | blame | history