Summary: | Index signature change isn't honoured any longer | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Philipe Mulet <philippe_mulet> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | critical | ||
Priority: | P2 | ||
Version: | 2.1 | ||
Target Milestone: | 2.1 RC1 | ||
Hardware: | PC | ||
OS: | Windows 2000 | ||
Whiteboard: |
Description
Philipe Mulet
2003-02-18 07:22:52 EST
Added a check on IndexManager#getIndex, when about to reuse existing file. Fixed. Replaced the fix. The problem was actually in Index.initialize(). If the index was incompatible, it was being deleted & replaced with an empty index. Verified. |