Details
Description
FileWatcher.java
Method:
public boolean isModified() {
long now = System.currentTimeMillis();
if((now - lastCheck) > 1000)
return stale;
}
A file is recognized as modified if the last modified timestamp is newer as the last known timestamp. In case of restoring a file with a backup/restore utility, the timestamp could be older. Replacing > with != gives
stale = file.exists() && (file.lastModified() != lastModified);
This will do the job.
Mass transition all resolved issue that did not see any further comment in the last month to closed status