DO NOT REPLY [Bug 20205] New: - [PATCH] Small performance and doc fix for DifferentSelector

[bu...@apache.org]

DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG 
RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT
<http://nagoya.apache.org/bugzilla/show_bug.cgi?id=20205>.
ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND 
INSERTED IN THE BUG DATABASE.

http://nagoya.apache.org/bugzilla/show_bug.cgi?id=20205

[PATCH] Small performance and doc fix for DifferentSelector

           Summary: [PATCH] Small performance and doc fix for
                    DifferentSelector
           Product: Ant
           Version: 1.6Alpha (nightly)
          Platform: Other
        OS/Version: Other
            Status: NEW
          Severity: Enhancement
          Priority: Other
         Component: Core tasks
        AssignedTo: dev@ant.apache.org
        ReportedBy: jefft@apache.org


Hi,

The docs for the <different> selector incorrectly state that the default for
ignoreFileTimes is true. The attached patch fixes this.

While poking in the source, I also noticed that a simple optimization can be
made: don't check the file timestamps if ignoreFileTimes is true. The patch also
makes this change.

Thanks,

--Jeff