commit 727a2ffa6b696d210adbba8f0341bb5f729f0606
author Florian Waibel <fwaibel@eclipsesource.com> Wed May 20 17:48:03 2015 +0200
committer Florian Waibel <fwaibel@eclipsesource.com> Wed May 20 17:48:03 2015 +0200
tree 5320157f64ea6258545a208f0bc20e829154677e
parent dae1067bf075368abcdd8f9e6e909538c7dfcf41

467635 - indicates that an undeployment is triggered by a deletion

org.eclipse.virgo.nano.deployer.hot/src/main/java/org/eclipse/virgo/nano/deployer/hot/HotDeployerFileSystemListener.java

diff --git a/org.eclipse.virgo.nano.deployer.hot/src/main/java/org/eclipse/virgo/nano/deployer/hot/HotDeployerFileSystemListener.java b/org.eclipse.virgo.nano.deployer.hot/src/main/java/org/eclipse/virgo/nano/deployer/hot/HotDeployerFileSystemListener.java
index 81e1f3f..013b580 100644
--- a/org.eclipse.virgo.nano.deployer.hot/src/main/java/org/eclipse/virgo/nano/deployer/hot/HotDeployerFileSystemListener.java
+++ b/org.eclipse.virgo.nano.deployer.hot/src/main/java/org/eclipse/virgo/nano/deployer/hot/HotDeployerFileSystemListener.java
@@ -170,7 +170,7 @@
     private void undeploy(String sourceArtefact) throws DeploymentException {
         DeploymentIdentity deploymentIdentity = getDeploymentIdentity(sourceArtefact);
         if (deploymentIdentity != null) {
-            this.deployer.undeploy(deploymentIdentity);
+            this.deployer.undeploy(deploymentIdentity, true);
         }
     }