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

Gaetan Boismal
27.03.2015 7c7b3a1a9203b620037ec649ea1725a56cc0dd25
opendj-server-legacy/src/main/java/org/opends/server/tools/InstallDS.java
@@ -711,7 +711,7 @@
    else
    {
      errorMessages.add(
          ERR_INSTALLDS_NO_SUCH_BACKEND_TYPE.get(filledBackendType, backendTypeHelper.getBackendTypeNames()));
          ERR_INSTALLDS_NO_SUCH_BACKEND_TYPE.get(filledBackendType, backendTypeHelper.getPrintableBackendTypeNames()));
    }
  }