mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: bd701db1 | patch | commit | ignore whitespace
jvergara
03.41.2008 6e53a5f10e25eb81fee980c639353cd7f73f1e29 
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 ●●●●● patch | view | raw | blame | history 
 opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java


@@ -748,7 +748,7 @@


          "backup.offline", "encode-password", "export-ldif.offline",


          "import-ldif.offline", "ldif-diff", "ldifmodify", "ldifsearch",


          "make-ldif", "rebuild-index", "restore.offline", "start-ds",


          "upgrade", "verify-install"


          "upgrade", "verify-index", "dbtest"


      };




      if (supportsServer)