mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8adb35 | patch | commitdiff
jvergara
03.17.2008 ceb04ed67298012a978273dd865ff14ba83ee769
refs
author jvergara <jvergara@localhost>
Thursday, January 3, 2008 14:17 +0100
committer jvergara <jvergara@localhost>
Thursday, January 3, 2008 14:17 +0100
commitceb04ed67298012a978273dd865ff14ba83ee769
tree aa81f6f1ca60e872c482888d21091ece23092041 tree | zip | gz
parent 8adb35fa24b145ab593ceba3a0602dfa43e28cb7 view | diff 
Fix the broken java properties tool when the user specifies not to overwrite the environment java argument properties.

Include a default java.properties file that includes some information about setting the different java properties.
1 files added
1 files modified
88 ■■■■■ changed files
opendj-sdk/opends/resource/config/java.properties 85 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 3 ●●●●● diff | view | raw | blame | history