1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-09 10:46:02 +02:00

[187732] fix hasChildren() so that a non-archive file can't return true for hasChildren

This commit is contained in:
David McKnight 2007-05-23 14:35:02 +00:00
parent af76788da1
commit eff8e204e2

View file

@ -859,7 +859,7 @@ public class SystemViewRemoteFileAdapter
//Object[] contents = file.getContents(RemoteChildrenContentsType.getInstance());
hasChildren = file.hasContents(RemoteChildrenContentsType.getInstance(), filter);
//if (!hasChildren && !file.isStale())
if (!hasChildren && file.isStale()) // there are no children, but the resource is stale, therefore it still needs to be queried
if (!hasChildren && file.isStale() && (file.isDirectory() || file.isArchive())) // there are no children, but the resource is stale, therefore it still needs to be queried
hasChildren = true;
}