mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2942ea | patch | commitdiff
jvergara
03.17.2008 567cef647cc0ad3e6d8531ba22f408e6e018ec14
refs
author jvergara <jvergara@localhost>
Thursday, January 3, 2008 14:17 +0100
committer jvergara <jvergara@localhost>
Thursday, January 3, 2008 14:17 +0100
commit567cef647cc0ad3e6d8531ba22f408e6e018ec14
tree 94398282850cf5de7613fb7bb93d1788986b7d48 tree | zip | gz
parent 2942eaa1b7264228c9ca7535aabd206e663581e9 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
opends/resource/config/java.properties 85 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 3 ●●●●● diff | view | raw | blame | history