diff --git a/docs/manual/CoreTypes/selectors.html b/docs/manual/CoreTypes/selectors.html index 09374f815..5870d6993 100755 --- a/docs/manual/CoreTypes/selectors.html +++ b/docs/manual/CoreTypes/selectors.html @@ -271,8 +271,8 @@
  1. If there is no 'other' file, it's different.
  2. Files with different lengths are different. -
  3. Files with the same timestamp are the same, unless ignoreFileTimes - is set. This feature is useful to keep the selection fast. +
  4. If ignoreFileTimes is turned off, then differing file + timestamps will cause files to be regarded as different.
  5. Finally a byte-for-byte check is run against the two files
@@ -308,6 +308,13 @@ Yes + + ignoreFileTimes + Whether to use file times in the comparison or not. + Default is true (time differences are ignored). + + No + granularity The number of milliseconds leeway to give before @@ -317,13 +324,6 @@ No - - ignoreFileTimes - Whether to use file times in the comparison or not. - Default is false (time differences are significant). - - No -

Here is an example of how to use the Different Selector:

diff --git a/src/main/org/apache/tools/ant/types/selectors/DifferentSelector.java b/src/main/org/apache/tools/ant/types/selectors/DifferentSelector.java index d7410613f..73208962e 100644 --- a/src/main/org/apache/tools/ant/types/selectors/DifferentSelector.java +++ b/src/main/org/apache/tools/ant/types/selectors/DifferentSelector.java @@ -81,7 +81,7 @@ public class DifferentSelector extends MappingSelector { private FileUtils fileUtils= FileUtils.newFileUtils(); - private boolean ignoreFileTimes=false; + private boolean ignoreFileTimes=true; /**