mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-26 10:25:32 +02:00
Code Issues Wiki Activity

[391164] [dstore] don't clear cached elements when they're not spirited or deleted

Browse source
This commit is contained in:
David McKnight 2012-10-05 11:51:25 +00:00
parent 5cb12a9750
commit b2a42b4bed
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
rse/plugins/org.eclipse.rse.services.dstore/src/org/eclipse/rse/internal/services/dstore/files/DStoreFileService.java
View file

@ -66,6 +66,7 @@
* David McKnight (IBM) - [339548] [dstore] shouldn't attempt file conversion on empty files * David McKnight (IBM) - [339548] [dstore] shouldn't attempt file conversion on empty files
* David McKnight (IBM) - [365780] [dstore] codepage conversion should only occur for different encodings * David McKnight (IBM) - [365780] [dstore] codepage conversion should only occur for different encodings
* David McKnight (IBM) - [390037] [dstore] Duplicated items in the System view * David McKnight (IBM) - [390037] [dstore] Duplicated items in the System view
* David McKnight (IBM) - [391164] [dstore] don't clear cached elements when they're not spirited or deleted
*******************************************************************************/ *******************************************************************************/
package org.eclipse.rse.internal.services.dstore.files; package org.eclipse.rse.internal.services.dstore.files;
@ -2112,9 +2113,9 @@ public class DStoreFileService extends AbstractDStoreService implements IFileSer
String normalizedPath = PathUtility.normalizeUnknown(path); String normalizedPath = PathUtility.normalizeUnknown(path);
DataElement element = (DataElement)_fileElementMap.get(normalizedPath); DataElement element = (DataElement)_fileElementMap.get(normalizedPath);
if (element != null) if (element != null)
{ {
if (element.isDeleted() if (element.isDeleted()
|| ds.isDoSpirit()){ // when using spirit, don't use element cache || element.isSpirit()){ // when using spirit, don't use element cache
_fileElementMap.remove(normalizedPath); _fileElementMap.remove(normalizedPath);
element = null; element = null;
} }