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

jvergara
18.24.2007 4dc4aa0c15b318b761b92e2394d0fde58a3e8232
opends/src/quicksetup/org/opends/quicksetup/util/FileManager.java
@@ -511,7 +511,7 @@
        if (!destination.exists()) {
          if (Utils.insureParentsExist(destination)) {
            if (application != null) {
            if ((application != null) && application.isVerbose()) {
              application.notifyListeners(application.getFormattedWithPoints(
                      INFO_PROGRESS_COPYING_FILE.get(
                              objectFile.getAbsolutePath(),
@@ -542,7 +542,7 @@
                }
              }
              if (application != null) {
              if ((application != null) && application.isVerbose()) {
                application.notifyListeners(
                        application.getFormattedDoneWithLineBreak());
              }
@@ -630,7 +630,7 @@
      File file = getObjectFile();
      boolean isFile = file.isFile();
      if (application != null) {
      if ((application != null) && application.isVerbose()) {
        if (isFile) {
          application.notifyListeners(application.getFormattedWithPoints(
                  INFO_PROGRESS_DELETING_FILE.get(file.getAbsolutePath())));
@@ -685,7 +685,7 @@
                errMsg, null);
      }
      if (application != null) {
      if ((application != null) && application.isVerbose()) {
        application.notifyListeners(
                application.getFormattedDoneWithLineBreak());
      }