mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-03 14:25:37 +02:00
Code Issues Wiki Activity

fixed bug #237385.

Browse source
This commit is contained in:
Warren Paul 2008-06-17 15:29:53 +00:00
parent a61c0fb0a0
commit fbe5d4b7db
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/EFSFileStorage.java
View file

@ -117,4 +117,11 @@ public class EFSFileStorage extends PlatformObject implements IStorage {
return locationURI;
}
@Override
public boolean equals(Object obj) {
if (obj instanceof EFSFileStorage && locationURI != null) {
return locationURI.equals(((EFSFileStorage)obj).getLocationURI());
}
return false;
}
}