Integrated: 8298726: (fs) Change PollingWatchService to record last modified time as FileTime rather than milliseconds

[Alan Bateman]

On Wed, 14 Dec 2022 09:30:56 GMT, Alan Bateman <alanb at openjdk.org> wrote:

> PollingWatchService currently records the last modified time of files in milliseconds. It would be better to just record the FileTime to avoid truncating high precision timestamps to millis.
> 
> It's possible this change may also help JDK-8297275.

This pull request has now been integrated.

Changeset: 5f63f7a7
Author:    Alan Bateman <alanb at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/5f63f7a742a1071a87ca69463bae6e04a44fe462
Stats:     15 lines in 1 file changed: 2 ins; 4 del; 9 mod

8298726: (fs) Change PollingWatchService to record last modified time as FileTime rather than milliseconds

Reviewed-by: bpb, jpai

-------------

PR: https://git.openjdk.org/jdk/pull/11665