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

Gaetan Boismal
16.39.2015 00f537666be3b22a4cf6c0fab08f47a44a7019d3
opendj-sdk/opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/BrowseSchemaPanel.java
@@ -1554,7 +1554,7 @@
          : value.toLowerCase().contains(filter.toLowerCase());
      if (matchFilter)
      {
        break;
        return true;
      }
    }
    return false;