mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: cefd20 | patch | commitdiff
jvergara
03.41.2008 c52a6ba50cd248ccc69bff1580d4b6ae4bfc5aa2
refs
author jvergara <jvergara@localhost>
Thursday, April 3, 2008 11:41 +0200
committer jvergara <jvergara@localhost>
Thursday, April 3, 2008 11:41 +0200
commitc52a6ba50cd248ccc69bff1580d4b6ae4bfc5aa2
tree a9249fac29f7a967651c1ef9c429f21f4ea2d6d3 tree | zip | gz
parent cefd206b570e4a359953581b6ac8288d28560abc view | diff 
Fix for issue 3110 (Some tools are not defined in the "config/java.properties" file)

Add the dbtest tool to the tools that require to run in server mode and replace verify-install by verify-index.
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java 2 ●●●●● diff | view | raw | blame | history