mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-28 19:35:36 +02:00
Code Issues Wiki Activity

Type should be Thread.interrupt() not Thread.interrupted().

Browse source
This commit is contained in:
Alain Magloire 2003-01-29 15:02:43 +00:00
parent 43e0c666a5
commit 36d2f67998
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
core/org.eclipse.cdt.core/index/org/eclipse/cdt/internal/core/index/IndexManager.java
View file

@ -93,10 +93,10 @@ public class IndexManager implements IElementChangedListener {
/** /**
* Before processing all jobs, need to ensure that the indexes are up to date. * Before processing all jobs, need to ensure that the indexes are up to date.
*/ */
protected static void delay() { protected void delay() {
try { try {
// wait 10 seconds so as not to interfere with plugin startup // wait 10 seconds so as not to interfere with plugin startup
Thread.currentThread().sleep(10000); Thread.sleep(10000);
} catch (InterruptedException ie) { } catch (InterruptedException ie) {
} }
} }
@ -242,7 +242,7 @@ public class IndexManager implements IElementChangedListener {
public void shutdown() { public void shutdown() {
if (thread != null) if (thread != null)
thread.interrupted(); thread.interrupt();
CoreModel.getDefault().removeElementChangedListener(this); CoreModel.getDefault().removeElementChangedListener(this);
} }