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

Ludovic Poitou
01.12.2011 dcb33ee3956cfa2f86c38c750880820fb8c04076
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/webstart/WebStartInstaller.java
@@ -265,7 +265,7 @@
      }
      checkAbort();
      updateSummaryWithServerState(hmSummary);
      updateSummaryWithServerState(hmSummary, false);
      setCurrentProgressStep(InstallProgressStep.FINISHED_SUCCESSFULLY);
      notifyListeners(null);
@@ -296,7 +296,7 @@
          }
        }
        notifyListeners(getLineBreak());
        updateSummaryWithServerState(hmSummary);
        updateSummaryWithServerState(hmSummary, false);
        setCurrentProgressStep(InstallProgressStep.FINISHED_WITH_ERROR);
        Message html = getFormattedError(ex, true);
        notifyListeners(html);
@@ -317,7 +317,7 @@
        }
      }
      notifyListeners(getLineBreak());
      updateSummaryWithServerState(hmSummary);
      updateSummaryWithServerState(hmSummary, false);
      setCurrentProgressStep(InstallProgressStep.FINISHED_WITH_ERROR);
      ApplicationException ex = new ApplicationException(
          ReturnCode.BUG,