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

jvergara
07.54.2008 7f020de74c831dc15d5e70a7f423f87f4d5e8a37
opends/src/quicksetup/org/opends/quicksetup/upgrader/Reverter.java
@@ -549,6 +549,7 @@
            notifyListeners(getLineBreak());
          }
        } catch (ApplicationException ae) {
          runError = ae;
          notifyListeners(getFormattedErrorWithLineBreak());
        }
      }
@@ -598,6 +599,7 @@
            notifyListeners(getLineBreak());
          }
        } catch (ApplicationException ae) {
          runError = ae;
          notifyListeners(getFormattedErrorWithLineBreak());
        }
      }
@@ -626,7 +628,7 @@
    {
      log = getFormattedWithPoints(log);
    }
    notifyListeners(progress, log, log);
    notifyListeners(progress, summary, log);
  }
  private void initialize() throws ApplicationException {
@@ -644,7 +646,7 @@
      File filesBackupDirectory = getTempBackupDirectory();
      FileManager fm = new FileManager();
      File root = getInstallation().getRootDirectory();
      FileFilter filter = new UpgradeFileFilter(root);
      FileFilter filter = new RevertFileFilter(root);
      for (String fileName : root.list()) {
        File f = new File(root, fileName);
@@ -676,7 +678,7 @@
      Stage stage = getStage();
      Installation installation = getInstallation();
      File root = installation.getRootDirectory();
      stage.move(root);
      stage.move(root, new RevertFileFilter(getReversionFilesDirectory()));
      // The bits should now be of the new version.  Have
      // the installation update the build information so