mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 3b21d8 | patch | commitdiff
jvergara
08.44.2008 78f63e8d6a8e1bf8d0dc35d236f6d7bdec26992e
refs
author jvergara <jvergara@localhost>
Tuesday, April 8, 2008 15:44 +0200
committer jvergara <jvergara@localhost>
Tuesday, April 8, 2008 15:44 +0200
commit78f63e8d6a8e1bf8d0dc35d236f6d7bdec26992e
tree f2a1928bc519e27c6da5f4e3ee53ba760e361d0f tree | zip | gz
parent 3b21d8c7f9c756c62d9e3fade67783a4bcd34067 view | diff 
Fix for issue 3110 (Some tools are not defined in the "config/java.properties" file)

Add systematically the command-lines to the java.properties file even if no argument is found.
1 files modified
16 ■■■■■ changed files
opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java 16 ●●●●● diff | view | raw | blame | history