| commit | 014c06267ac1095468f04c8ad5976b803ebd32b0 | [log] [tgz] |
|---|---|---|
| author | Andrey Loskutov <loskutov@gmx.de> | Fri Apr 07 11:37:14 2017 +0200 |
| committer | Andrey Loskutov <loskutov@gmx.de> | Fri Apr 07 11:37:14 2017 +0200 |
| tree | c315971c370db6df62478f8f6bb6c594d65b2c60 | |
| parent | d6457925a143e0f4b260a6246b74369778f4003d [diff] |
Bug 514653 - JobManager sleep time is longer then indexing itself Further reducing the sleep after discussion on the bug. Change-Id: I6c2231c6c538a9b4faff1b6f28927033707d7d42 Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
diff --git a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/processing/JobManager.java b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/processing/JobManager.java index e1505bd..a7cdccf 100644 --- a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/processing/JobManager.java +++ b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/processing/JobManager.java
@@ -404,7 +404,7 @@ if (VERBOSE) { Util.verbose("WAITING after job - " + job); //$NON-NLS-1$ } - Thread.sleep(10); + Thread.sleep(5); } } } catch (InterruptedException e) { // background indexing was interrupted