mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-server-legacy/src/main/java/org/opends/admin/ads/ServerDescriptor.java @@ -682,7 +682,7 @@ if (port == -1) { adsProperties.put(adsProps[i][0], "false"); if (p.size() > 0) if (!p.isEmpty()) { port = (Integer)p.iterator().next(); }