Summary: | [search] SearchParticipant has no way to remove specific index file from IndexManager cache | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Frederic Fusier <frederic_fusier> |
Component: | Core | Assignee: | Frederic Fusier <frederic_fusier> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | jerome_lanneluc |
Version: | 3.2 | ||
Target Milestone: | 3.2 M4 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: |
Description
Frederic Fusier
2005-11-16 07:44:45 EST
It looks like a design hole in search participants. We might want to provide an API that deletes the index given an index location (e.g. SearchParticipant#removeIndex(IPath indexLocation)) and encourage clients to use it instead of manually deleting the index file themselves. This would give us the oportunity to remove it from the cache. Fixed and released in HEAD. Test cases modified in SearchParticipantTests Verified for 3.2 M4 using build I20051213-0010 |