mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: bd701d | patch | commitdiff
jvergara
03.41.2008 6e53a5f10e25eb81fee980c639353cd7f73f1e29
refs
author jvergara <jvergara@localhost>
Thursday, April 3, 2008 11:41 +0200
committer jvergara <jvergara@localhost>
Thursday, April 3, 2008 11:41 +0200
commit6e53a5f10e25eb81fee980c639353cd7f73f1e29
tree 97d7361e73bdc29c0f78f271e7c712d737aa5b3e tree | zip | gz
parent bd701db141dda0af9eef585d35aa95e1bfbd3fb5 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
opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java 2 ●●●●● diff | view | raw | blame | history