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

jvergara
02.04.2007 cd7ddcc30ed1b2cedf327e3c45185f815bf7ca29
opends/src/quicksetup/org/opends/quicksetup/installer/UserInstallData.java
@@ -40,6 +40,8 @@
  private int serverPort;
  private int serverJMXPort;
  private String directoryManagerDn;
  private String directoryManagerPwd;
@@ -85,6 +87,24 @@
  }
  /**
   * Sets the server JMX port.
   * @param serverJMXPort the new server JMX port.
   */
  public void setServerJMXPort(int serverJMXPort)
  {
    this.serverJMXPort = serverJMXPort;
  }
  /**
   * Returns the server JMX port.
   * @return the server JMX port.
   */
  public int getServerJMXPort()
  {
    return serverJMXPort;
  }
  /**
   * Returns the Directory Manager DN.
   * @return the Directory Manager DN.
   */