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

matthew_swift
26.56.2007 809d10707f58d0841af81f69850859ea5564f773
opends/src/server/org/opends/server/tools/dsconfig/SubCommandHandler.java
@@ -947,6 +947,7 @@
    }
    default: {
      // Display a menu.
      Arrays.sort(children, String.CASE_INSENSITIVE_ORDER);
      List<String> choices = Arrays.asList(children);
      int msgID = MSGID_DSCFG_FINDER_PROMPT_MANY;
      String msg = getMessage(msgID, d.getUserFriendlyName());