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

jvergara
14.18.2008 4594389aa8747f9996ffc72a4a5eed5bfce53405
opends/src/quicksetup/org/opends/quicksetup/installer/webstart/WebStartInstaller.java
@@ -293,12 +293,13 @@
          }
        }
        notifyListeners(getLineBreak());
        notifyListenersOfLog();
        updateSummaryWithServerState(hmSummary);
        setCurrentProgressStep(InstallProgressStep.FINISHED_WITH_ERROR);
        Message html = getFormattedError(ex, true);
        notifyListeners(html);
        LOG.log(Level.SEVERE, "Error installing.", ex);
        notifyListeners(getLineBreak());
        notifyListenersOfLog();
      }
    }
    catch (Throwable t)
@@ -313,7 +314,6 @@
        }
      }
      notifyListeners(getLineBreak());
      notifyListenersOfLog();
      updateSummaryWithServerState(hmSummary);
      setCurrentProgressStep(InstallProgressStep.FINISHED_WITH_ERROR);
      ApplicationException ex = new ApplicationException(
@@ -322,6 +322,8 @@
      Message msg = getFormattedError(ex, true);
      notifyListeners(msg);
      LOG.log(Level.SEVERE, "Error installing.", t);
      notifyListeners(getLineBreak());
      notifyListenersOfLog();
    }
    System.setErr(origErr);
    System.setOut(origOut);