Attachment 4290 Details for Bug 35473 – Better fix for this issue

[patch] Better fix for this issue

patch.txt (text/plain), 1.06 KB, created by Philipe Mulet

on 2003-03-21 12:25:32 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Philipe Mulet

Created: 2003-03-21 12:25:32 EST

Size: 1.06 KB

patch

obsolete

>Index: IndexSelector.java
>===================================================================
>RCS file: /data/cvs/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/IndexSelector.java,v
>retrieving revision 1.19
>diff -u -r1.19 IndexSelector.java
>--- IndexSelector.java	20 Mar 2003 16:44:16 -0000	1.19
>+++ IndexSelector.java	21 Mar 2003 17:17:13 -0000
>@@ -157,9 +157,14 @@
> 	// acquire the in-memory indexes on the fly
> 	int length = this.indexKeys.length;
> 	IIndex[] indexes = new IIndex[length];
>+	int count = 0;
> 	for (int i = 0; i < length; i++){
> 		// may trigger some index recreation work
>-		indexes[i] = indexManager.getIndex(indexKeys[i], true /*reuse index file*/, false /*do not create if none*/);
>+		IIndex index = indexManager.getIndex(indexKeys[i], true /*reuse index file*/, false /*do not create if none*/);
>+		if (index != null) indexes[count++] = index; // only consider indexes which are ready yet
>+	}
>+	if (count != length) {
>+		System.arraycopy(indexes, 0, indexes=new IIndex[count], 0, count);
> 	}
> 	return indexes;
> }

Actions: View | Diff

Attachments on bug 35473: 4289 | 4290