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

Gaetan Boismal
17.16.2015 de1be29e1d751d4e7aeeb1518be89a0f9312e344
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/VerifyIndexPanel.java
@@ -383,7 +383,8 @@
  /** {@inheritDoc} */
  protected boolean displayBackend(BackendDescriptor backend)
  {
    return !backend.isConfigBackend() && backend.getType() == BackendDescriptor.Type.LOCAL_DB;
    return !backend.isConfigBackend() && (backend.getType() == BackendDescriptor.Type.LOCAL_DB
                                          || backend.getType() == BackendDescriptor.Type.PLUGGABLE);
  }
  private String getSelectedBaseDN()