Summary: | Registry not reloaded when feature is installed | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Christophe Elek <celek> |
Component: | Resources | Assignee: | Debbie Wilson <debbie_wilson> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P1 | CC: | debbie_wilson, dj.houghton |
Version: | 2.0 | ||
Target Milestone: | 2.0 M6 | ||
Hardware: | PC | ||
OS: | Windows 2000 | ||
Whiteboard: |
Description
Christophe Elek
2002-04-22 14:20:02 EDT
The timestamp used for cache decisions should be taken on startup. This is the point that reflects the content of the loaded registry. *** Bug 14346 has been marked as a duplicate of this bug. *** InternalPlatform now has a new private variable, cacheReadTimeStamp plus new methods getRegistryCacheTimeStamp() and setRegistryCacheTimeStamp(long timeStamp) to store information on when the plugin registry was either read from a cache file or parsed. RegistryCacheWriter will write out InternalPlatform's new timestamp (so anything changed since the last time we read/parsed the registry will cause the cache to be discarded). RegistryCacheReader reads in a timestamp and compares it with the InternalPlatform stamp (which is refreshed from BootLoader.getCurrentPlatformConfiguration().getPluginsChangeStamp()). If anything has changed since the last read/parse, the cache is discarded. |