X-Git-Url: http://erislabs.net/gitweb/?p=mir.git;a=blobdiff_plain;f=source%2Fmir%2Fproducer%2FFileDeletingProducerNode.java;h=c6acdaab08641bd81946856d9fa0b24309f393d1;hp=2b823fafd49c658458671600b3e57dd94861c19a;hb=7fa12a5e4faf167ad94da9954c50037362f30092;hpb=82f2b12029ec4cbbd8a51fdcffedbf2111d37e7c

diff --git a/source/mir/producer/FileDeletingProducerNode.java b/source/mir/producer/FileDeletingProducerNode.java
index 2b823faf..c6acdaab 100755
--- a/source/mir/producer/FileDeletingProducerNode.java
+++ b/source/mir/producer/FileDeletingProducerNode.java
@@ -27,7 +27,10 @@
  */
 package mir.producer;
 
+import mir.changetracker.ChangeTracker;
+import mir.changetracker.ChangeType;
 import mir.log.LoggerWrapper;
+import mircoders.global.MirGlobal;
 
 import java.io.File;
 import java.util.Map;
@@ -44,6 +47,10 @@ public class FileDeletingProducerNode extends FileOperationProducerNode {
         throw new Exception("Unable to delete file " + aFile);
       }
 
+      // Notify the change tracker that the file was deleted
+      ChangeTracker tracker = MirGlobal.getChangeEngine().getTracker();
+      tracker.addChange(aFile.getAbsolutePath(), ChangeType.DELETION);
+      
       aLogger.debug("File " + aFile.getName() + " deleted");
     }
     catch (Throwable t) {