mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
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))) {