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

jvergara
05.04.2007 b7eaa6fa023b868aa8154610c05801a94ed0afea
opends/src/quicksetup/org/opends/quicksetup/installer/webstart/WebStartInstaller.java
@@ -129,6 +129,8 @@
   */
  private void doInstall()
  {
    PrintStream origErr = System.err;
    PrintStream origOut = System.out;
    try
    {
      PrintStream err = new ErrorPrintStream();
@@ -195,6 +197,8 @@
      String msg = getFormattedError(ex, true);
      notifyListeners(msg);
    }
    System.setErr(origErr);
    System.setOut(origOut);
  }
  /**