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

Jean-Noël Rouvignac
19.42.2016 d6b296f5b3549079495ff902803d629dbbcb85b5
opendj-server-legacy/src/main/java/org/opends/guitools/uninstaller/UninstallUserData.java
@@ -42,7 +42,7 @@
  private HostPort localServerHostPort;
  private boolean localServerSecure;
  private Set<ServerDescriptor> remoteServers = new HashSet<>();
  private String replicationServer;
  private HostPort replicationServer;
  private String referencedHostName;
  /**
@@ -280,7 +280,7 @@
   * Returns the replication server as referenced in other servers.
   * @return the replication server as referenced in other servers.
   */
  public String getReplicationServer() {
  public HostPort getReplicationServer() {
    return replicationServer;
  }
@@ -289,7 +289,7 @@
   * @param replicationServer the replication server as referenced in other
   * servers.
   */
  public void setReplicationServer(String replicationServer) {
  public void setReplicationServer(HostPort replicationServer) {
    this.replicationServer = replicationServer;
  }