mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
08.44.2008 3f243c2155d1b678c1e8a1bb225fc833d7e1cea9
refs
author jvergara <jvergara@localhost>
Tuesday, April 8, 2008 15:44 +0200
committer jvergara <jvergara@localhost>
Tuesday, April 8, 2008 15:44 +0200
commit3f243c2155d1b678c1e8a1bb225fc833d7e1cea9
tree 0aaccda20985d654e94711df738920ffbce84b62 tree | zip | gz
parent ed803f46487547b3134c8fd58b12916372556878 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
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java 16 ●●●●● diff | view | raw | blame | history