[FIX] Windows must die

This commit is contained in:
Gravit 2019-03-03 19:26:14 +07:00
parent 579761bcbd
commit b9e8f48065

View file

@ -125,13 +125,12 @@ private void processKey(WatchKey key) throws IOException {
LogHelper.debug("DirWatcher event %s", String.join("/", stringPath));
if (matcher != null && !matcher.shouldVerify(stringPath))
continue; // Exclusion; should not be verified
// Verify is REALLY modified (not just attributes)
if (kind.equals(StandardWatchEventKinds.ENTRY_MODIFY)) {
HashedEntry entry = hdir.resolve(stringPath);
if (entry != null && (entry.getType() != Type.FILE || ((HashedFile) entry).isSame(path, digest)))
continue; // Modified attributes, not need to worry :D
}
//if (kind.equals(StandardWatchEventKinds.ENTRY_MODIFY)) {
// HashedEntry entry = hdir.resolve(stringPath);
// if (entry != null && (entry.getType() != Type.FILE || ((HashedFile) entry).isSame(path, digest)))
// continue; // Modified attributes, not need to worry :D
//}
// Forbidden modification!
throw new SecurityException(String.format("Forbidden modification (%s, %d times): '%s'", kind, event.count(), path));