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

Collapse All | Expand All

(-)search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java (+1 lines)
Lines 337-342 Link Here
337 
							if (container != null) {
 337 
							if (container != null) {
338 
								index = new Index(indexLocation.toOSString(), container.toOSString(), true /*reuse index file*/);
 338 
								index = new Index(indexLocation.toOSString(), container.toOSString(), true /*reuse index file*/);
339 
								this.indexes.put(indexLocation, index);
 339 
								this.indexes.put(indexLocation, index);
340 
								getIndexStates().put(indexLocation, UPDATING_STATE);
340 
							}
 341 
							}
341 
						} catch (IOException e) {
 342 
						} catch (IOException e) {
342 
							// ignore
 343 
							// ignore

Return to bug 323392