mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Patch for Devin: Fix for 96992

Browse source
This commit is contained in:
Bogdan Gheorghe 2005-05-27 19:47:34 +00:00
parent 37aa21ac62
commit 73c23e6b19
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
core/org.eclipse.cdt.core/search/org/eclipse/cdt/core/search/DOMSearchUtil.java
View file

@ -87,6 +87,7 @@ public class DOMSearchUtil {
ICSearchPattern pattern = createPattern(searchName, limitTo, true);
try {
engine.setWaitingPolicy(ICSearchConstants.FORCE_IMMEDIATE_SEARCH);
engine.search(CCorePlugin.getWorkspace(), pattern, scope, results, false);
} catch (InterruptedException e) {
return EMPTY_MATCHES;