Attachment 118611 Details for Bug 251504 – Last patch improvement

[patch] Last patch improvement

v05-improvement.txt (text/plain), 1.85 KB, created by Frederic Fusier

on 2008-11-24 12:14:30 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Frederic Fusier

Created: 2008-11-24 12:14:30 EST

Size: 1.85 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.jdt.core
>Index: search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java,v
>retrieving revision 1.163
>diff -u -r1.163 IndexManager.java
>--- search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java	24 Nov 2008 15:57:41 -0000	1.163
>+++ search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java	24 Nov 2008 17:12:47 -0000
>@@ -640,7 +640,7 @@
> 			// the index does not exist, try to recreate it
> 			return recreateIndex(containerPath) != null;
> 		}
>-		index.reset(false/*do not reuse index file*/);
>+		index.reset();
> 		return true;
> 	} catch (IOException e) {
> 		// The file could not be created. Possible reason: the project has been deleted.
>Index: search/org/eclipse/jdt/internal/core/index/Index.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/index/Index.java,v
>retrieving revision 1.32
>diff -u -r1.32 Index.java
>--- search/org/eclipse/jdt/internal/core/index/Index.java	24 Nov 2008 15:57:41 -0000	1.32
>+++ search/org/eclipse/jdt/internal/core/index/Index.java	24 Nov 2008 17:12:47 -0000
>@@ -177,10 +177,10 @@
>  * 
>  * @throws IOException
>  */
>-public void reset(boolean reuseExistingFile) throws IOException {
>+public void reset() throws IOException {
> 	this.memoryIndex = new MemoryIndex();
> 	this.diskIndex = new DiskIndex(this.diskIndex.indexFile.getCanonicalPath());
>-	this.diskIndex.initialize(reuseExistingFile);
>+	this.diskIndex.initialize(false/*do not reuse the index file*/);
> }
> public void save() throws IOException {
> 	// must own the write lock of the monitor

Actions: View | Diff

Attachments on bug 251504: 118573 | 118574 | 118575 | 118601 | 118611