commit ea7cacf16a5f8b9b1e1e87821a77667b29b4adb3
author GianMaria Romanato <gm.romanato@gmail.com> Sat Feb 04 15:42:44 2017 +0100
committer GianMaria Romanato <gm.romanato@gmail.com> Sat Feb 04 15:42:44 2017 +0100
tree 7f9183cd8226049d95c18a88ad797aec9545e0bf
parent 71be6bcd36372e999338953696150814f03626af

#511687: ResourceException below ServerProject.deleteWorkspaceProject
(thrown in Resource.delete) 

Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=511687

org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/ui/projects/ServerProject.java

diff --git a/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/ui/projects/ServerProject.java b/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/ui/projects/ServerProject.java
index ac5b21b..233078e 100644
--- a/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/ui/projects/ServerProject.java
+++ b/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/ui/projects/ServerProject.java
@@ -232,7 +232,12 @@
             try {
                 this.project.delete(false, null);
             } catch (CoreException e) {
-                ServerProjectManager.handleException(e);
+                try {
+                    this.project.refreshLocal(IResource.DEPTH_INFINITE, null);
+                    this.project.delete(false, null);
+                } catch (CoreException e1) {
+                    ServerProjectManager.handleException(e);
+                }
             }
         }
         this.project = null;