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

jvergara
20.29.2009 f59c6ebf626b30f5bf7726700528d3da1cc111a9
opends/src/ads/org/opends/admin/ads/util/ServerLoader.java
@@ -379,8 +379,23 @@
    Map<ServerProperty,Object> serverProperties)
  {
    String adminUrl = null;
    boolean portDefined;
    Object v = serverProperties.get(ServerProperty.ADMIN_ENABLED);
    if ((v != null) && "true".equalsIgnoreCase(String.valueOf(v)))
    {
      v = serverProperties.get(ServerProperty.ADMIN_PORT);
      portDefined = v != null;
    }
    else
    {
      portDefined = false;
    }
    if (portDefined)
    {
      adminUrl = "ldaps://"+getHostNameForLdapUrl(serverProperties)+":"+
      serverProperties.get(ServerProperty.ADMIN_PORT);
    }
    return adminUrl;
  }