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

gbellato
16.20.2007 ed1a629a316f84a8a9f9d49680f9d2a11aea3034
opends/src/server/org/opends/server/replication/server/ReplicationServer.java
@@ -256,9 +256,9 @@
         */
        for (String serverURL : replicationServers)
        {
          String token[] = serverURL.split(":");
          String hostname = token[0];
          String port = token[1];
          int separator = serverURL.lastIndexOf(':');
          String port = serverURL.substring(separator + 1);
          String hostname = serverURL.substring(0, separator);
          try
          {
@@ -305,9 +305,9 @@
   */
  private void connect(String serverURL, DN baseDn)
  {
    String token[] = serverURL.split(":");
    String hostname = token[0];
    String port = token[1];
    int separator = serverURL.lastIndexOf(':');
    String port = serverURL.substring(separator + 1);
    String hostname = serverURL.substring(0, separator);
    try
    {