diff --git a/gerrit-server/src/main/java/com/google/gerrit/server/git/LocalDiskRepositoryManager.java b/gerrit-server/src/main/java/com/google/gerrit/server/git/LocalDiskRepositoryManager.java index ad5cf20650..d532078f74 100644 --- a/gerrit-server/src/main/java/com/google/gerrit/server/git/LocalDiskRepositoryManager.java +++ b/gerrit-server/src/main/java/com/google/gerrit/server/git/LocalDiskRepositoryManager.java @@ -405,6 +405,12 @@ public class LocalDiskRepositoryManager implements GitRepositoryManager, return FileVisitResult.CONTINUE; } + @Override + public FileVisitResult visitFileFailed(Path file, IOException e) { + log.warn(e.getMessage()); + return FileVisitResult.CONTINUE; + } + private boolean isRepo(Path p) { String name = p.getFileName().toString(); return !name.equals(Constants.DOT_GIT)