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

Jean-Noël Rouvignac
24.50.2016 8a7d994e004ad0ec1a192dbadd348e041a2e3de2
opendj-server-legacy/src/main/java/org/opends/quicksetup/util/FileManager.java
@@ -134,7 +134,7 @@
   * Move a file.
   * @param object File to move
   * @param newParent File representing new parent directory
   * @param filter that will be asked whether or not the operation should be performed
   * @param filter that will be asked whether the operation should be performed
   * @throws ApplicationException if something goes wrong
   */
  public void move(File object, File newParent, FileFilter filter)
@@ -160,7 +160,7 @@
  /**
   * Deletes a single file or directory.
   * @param object File to delete
   * @param filter that will be asked whether or not the operation should be performed
   * @param filter that will be asked whether the operation should be performed
   * @throws ApplicationException if something goes wrong
   */
  public void delete(File object, FileFilter filter)
@@ -292,7 +292,7 @@
  }
 /**
  * Determines whether or not two files differ in content.
  * Determines whether two files differ in content.
  *
  * @param f1 file to compare
  * @param f2 file to compare