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

jvergara
17.06.2007 0d7f526c8bd275c9874877a7d9e54fa78ba593ed
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/ui/GuiApplication.java
@@ -496,6 +496,7 @@
      WebStartDownloader.Status.DOWNLOADING;
    while (!loader.isFinished() && (loader.getException() == null))
    {
      checkAbort();
      // Pool until is over
      int perc = loader.getDownloadPercentage();
      WebStartDownloader.Status downloadStatus = loader.getStatus();
@@ -521,16 +522,17 @@
        }
        loader.setSummary(summary);
        notifyListeners(ratio, summary, null);
        try
        {
          Thread.sleep(300);
        } catch (Exception ex)
        {
          // do nothing;
        }
      }
      checkAbort();
      try
      {
        Thread.sleep(300);
      } catch (Exception ex)
      {
        // do nothing;
      }
    }
    checkAbort();
    if (loader.getException() != null)
    {