Maven: do not iterate over dir.getChildren() when something is deleted
commitc7ec44de4dc6a215408c882f5ceab4f541371c16
authorAnton.Makeev <Anton.Makeev@jetbrains.com>
Thu, 19 Nov 2009 16:41:30 +0000 (19 19:41 +0300)
committerAnton.Makeev <Anton.Makeev@jetbrains.com>
Fri, 20 Nov 2009 12:06:14 +0000 (20 15:06 +0300)
treea8117eea2a81f21b9af0ef362e46af23fb2810b7
parent11db117548025cd49e97599075723e024708dcb8
Maven: do not iterate over dir.getChildren() when something is deleted
plugins/maven/src/main/java/org/jetbrains/idea/maven/project/MavenProjectsManagerWatcher.java