From 4a2f046e38fe5497f38dca7a3112e2eacffdc473 Mon Sep 17 00:00:00 2001 From: Vladyslav Zhukovskyi Date: Thu, 11 Jan 2018 10:51:19 +0200 Subject: [PATCH] Cleanup deleted resource from resource manager's cache (#8174) Signed-off-by: Vladyslav Zhukovskyi --- .../org/eclipse/che/ide/resources/impl/ResourceManager.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/ide/che-core-ide-app/src/main/java/org/eclipse/che/ide/resources/impl/ResourceManager.java b/ide/che-core-ide-app/src/main/java/org/eclipse/che/ide/resources/impl/ResourceManager.java index b7eb5cc53a..7fa39343bf 100644 --- a/ide/che-core-ide-app/src/main/java/org/eclipse/che/ide/resources/impl/ResourceManager.java +++ b/ide/che-core-ide-app/src/main/java/org/eclipse/che/ide/resources/impl/ResourceManager.java @@ -1112,8 +1112,10 @@ public final class ResourceManager { } private Promise onExternalDeltaMoved(final ResourceDelta delta) { - final Optional toRemove = store.getResource(delta.getFromPath()); - store.dispose(delta.getFromPath(), true); + Optional toRemove = store.getResource(delta.getFromPath()); + Path pathToDispose = Path.commonPath(delta.getFromPath(), delta.getToPath()); + + store.dispose(pathToDispose, true); return findResource(delta.getToPath()) .thenPromise(