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

kenneth_suter
06.06.2007 15f4c4af976c56c76be7f45d306618f56157461c
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/util/FileManager.java
@@ -530,7 +530,10 @@
      }
      if (!objectFile.renameTo(destination)) {
        throw ApplicationException.createFileSystemException(
                "failed to move " + objectFile + " to " + destination, null);
                getMsg("error-failed-moving-file",
                        Utils.getPath(objectFile),
                        Utils.getPath(destination)),
                null);
      }
    }
  }