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

kenneth_suter
24.07.2007 cb3a76a157589591106fdc50895a1d987ca25483
opends/src/quicksetup/org/opends/quicksetup/util/FileManager.java
@@ -298,7 +298,7 @@
        }
        if (!destination.exists()) {
          if (insureParentsExist(destination)) {
          if (Utils.insureParentsExist(destination)) {
            application.notifyListeners(application.getFormattedWithPoints(
                    getMsg("progress-copying-file", args)));
@@ -468,15 +468,6 @@
    }
  }
  private boolean insureParentsExist(File f) {
    File parent = f.getParentFile();
    boolean b = parent.exists();
    if (!b) {
      b = parent.mkdirs();
    }
    return b;
  }
  private String getMsg(String key) {
    return ResourceProvider.getInstance().getMsg(key);
  }