From 36d2f679985512b8113ff75b71937655be3de9c7 Mon Sep 17 00:00:00 2001 From: Alain Magloire Date: Wed, 29 Jan 2003 15:02:43 +0000 Subject: [PATCH] Type should be Thread.interrupt() not Thread.interrupted(). --- .../org/eclipse/cdt/internal/core/index/IndexManager.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/org.eclipse.cdt.core/index/org/eclipse/cdt/internal/core/index/IndexManager.java b/core/org.eclipse.cdt.core/index/org/eclipse/cdt/internal/core/index/IndexManager.java index 21bae6e1c8a..94d25042481 100644 --- a/core/org.eclipse.cdt.core/index/org/eclipse/cdt/internal/core/index/IndexManager.java +++ b/core/org.eclipse.cdt.core/index/org/eclipse/cdt/internal/core/index/IndexManager.java @@ -93,10 +93,10 @@ public class IndexManager implements IElementChangedListener { /** * Before processing all jobs, need to ensure that the indexes are up to date. */ - protected static void delay() { + protected void delay() { try { // wait 10 seconds so as not to interfere with plugin startup - Thread.currentThread().sleep(10000); + Thread.sleep(10000); } catch (InterruptedException ie) { } } @@ -242,7 +242,7 @@ public class IndexManager implements IElementChangedListener { public void shutdown() { if (thread != null) - thread.interrupted(); + thread.interrupt(); CoreModel.getDefault().removeElementChangedListener(this); }