1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-03 07:05:24 +02:00

[189214] fix profile deletion in the metadata area

This commit is contained in:
David Dykstal 2007-05-28 17:19:42 +00:00
parent 330f6c9bda
commit 6a1b7a5eb8

View file

@ -27,7 +27,7 @@ class PFMetadataAnchor implements PFPersistenceAnchor {
IStatus result = Status.OK_STATUS;
File profileFolder = getProfileFolder(profileName);
if (profileFolder.exists()) {
profileFolder.delete();
delete(profileFolder);
}
return result;
}
@ -91,4 +91,19 @@ class PFMetadataAnchor implements PFPersistenceAnchor {
return folder;
}
/**
* Delete a File resource. If the resource is a directory then
* delete its children first.
* @param resource
*/
private void delete(File resource) {
if (resource.isDirectory()) {
File[] resources = resource.listFiles();
for (int i = 0; i < resources.length; i++) {
File child = resources[i];
delete(child);
}
}
resource.delete();
}
}