*/
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;
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) {