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

kenneth_suter
15.32.2007 5e7c2e08044de85ed9a8da34b2ed8634201e2db7
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/webstart/WebStartDownloader.java
@@ -52,6 +52,19 @@
 */
public class WebStartDownloader implements DownloadServiceListener,
        JnlpProperties {
  /**
   * Returns the name of the zip file name that contains all the installation.
   * @return the name of the zip file name that contains all the installation.
   */
  static public String getZipFileName()
  {
    // Passed as a java option in the JNLP file
    return System.getProperty(ZIP_FILE_NAME);
  }
  private ApplicationException ex;
  private boolean isFinished;