diff --git a/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/dstore/universal/miners/UniversalFileSystemMiner.java b/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/dstore/universal/miners/UniversalFileSystemMiner.java index a4af6ab4064..0a00799252e 100644 --- a/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/dstore/universal/miners/UniversalFileSystemMiner.java +++ b/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/dstore/universal/miners/UniversalFileSystemMiner.java @@ -669,8 +669,9 @@ public class UniversalFileSystemMiner extends Miner { for (int i = children.size() - 1; i >= 0; i--) { _dataStore.deleteObject(subject, (DataElement)children.get(i)); - } + } } + _dataStore.refresh(subject); } else {