View | Details | Raw Unified | Return to bug 251504 | Differences between
and this patch

Collapse All | Expand All

(-)search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java (-1 / +1 lines)
Lines 640-646 Link Here
640 
			// the index does not exist, try to recreate it
 640 
			// the index does not exist, try to recreate it
641 
			return recreateIndex(containerPath) != null;
 641 
			return recreateIndex(containerPath) != null;
642 
		}
 642 
		}
643 
		index.reset(false/*do not reuse index file*/);
 643 
		index.reset();
644 
		return true;
 644 
		return true;
645 
	} catch (IOException e) {
 645 
	} catch (IOException e) {
646 
		// The file could not be created. Possible reason: the project has been deleted.
 646 
		// The file could not be created. Possible reason: the project has been deleted.
(-)search/org/eclipse/jdt/internal/core/index/Index.java (-2 / +2 lines)
Lines 177-186 Link Here
177 
 *
177 
 *
178 
 * @throws IOException
 178 
 * @throws IOException
179 
 */
 179 
 */
180 
public void reset(boolean reuseExistingFile) throws IOException {
 180 
public void reset() throws IOException {
181 
	this.memoryIndex = new MemoryIndex();
 181 
	this.memoryIndex = new MemoryIndex();
182 
	this.diskIndex = new DiskIndex(this.diskIndex.indexFile.getCanonicalPath());
 182 
	this.diskIndex = new DiskIndex(this.diskIndex.indexFile.getCanonicalPath());
183 
	this.diskIndex.initialize(reuseExistingFile);
 183 
	this.diskIndex.initialize(false/*do not reuse the index file*/);
184 
}
 184 
}
185 
public void save() throws IOException {
 185 
public void save() throws IOException {
186 
	// must own the write lock of the monitor
 186 
	// must own the write lock of the monitor

Return to bug 251504