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

Jean-Noel Rouvignac
21.10.2015 b8f523c95f4fd5fc705f2c6c2a2d98217b9da450
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();
          }