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

david_page
27.23.2007 dfbf86fdd89678a296188c31e6e186e712760b74
opends/src/ads/org/opends/admin/ads/ServerDescriptor.java
@@ -442,7 +442,7 @@
      if (s != null)
      {
        int port = -1;
        for (int j=0; j<s.size(); i++)
        for (int j=0; j<s.size(); j++)
        {
          if (Boolean.TRUE.equals(s.get(j)))
          {