Skip to content

Commit

Permalink
[#5163] remove file from moduleResources after it is deleted
Browse files Browse the repository at this point in the history
  • Loading branch information
jmartisk authored and gsmet committed Nov 5, 2019
1 parent e609a2f commit beae4a4
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -334,6 +334,7 @@ private Set<String> checkForFileChange() {
});
}
for (Path i : seen) {
moduleResources.remove(i);
if (!Files.isDirectory(i)) {
Files.delete(i);
}
Expand Down

0 comments on commit beae4a4

Please sign in to comment.