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

jvergara
19.19.2008 03605532e7a79384ee40dcf1838135de8c5cdc7c
opends/src/guitools/org/opends/guitools/controlpanel/util/Utilities.java
@@ -1721,7 +1721,7 @@
      }
      if (!isStandard)
      {
        isStandard = fileName.indexOf("-rfc") != -1;
        isStandard = fileName.toLowerCase().indexOf("-rfc") != -1;
      }
    }
    return isStandard;