From c87812f978bcf51a529285ccf1abdcbc2fe74374 Mon Sep 17 00:00:00 2001 From: Jan Martiska Date: Mon, 4 Nov 2019 12:23:56 +0100 Subject: [PATCH] [#5163] remove file from moduleResources after it is deleted --- .../src/main/java/io/quarkus/dev/RuntimeUpdatesProcessor.java | 1 + 1 file changed, 1 insertion(+) diff --git a/core/devmode/src/main/java/io/quarkus/dev/RuntimeUpdatesProcessor.java b/core/devmode/src/main/java/io/quarkus/dev/RuntimeUpdatesProcessor.java index 94bae4b47dd0c..5799fdb93a7af 100644 --- a/core/devmode/src/main/java/io/quarkus/dev/RuntimeUpdatesProcessor.java +++ b/core/devmode/src/main/java/io/quarkus/dev/RuntimeUpdatesProcessor.java @@ -334,6 +334,7 @@ private Set checkForFileChange() { }); } for (Path i : seen) { + moduleResources.remove(i); if (!Files.isDirectory(i)) { Files.delete(i); }