Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Wright2002-11-06 04:06:22 +0000
committerDarin Wright2002-11-06 04:06:22 +0000
commite47e66549a0bb71427340cf043f65862ef21acca (patch)
tree8ef6028409e1195ea6a03b4cb1e1c65a53117970 /org.eclipse.ui.externaltools/Program Tools Support
parent1b850bbd976895fa1741552ceb7fccfa75198504 (diff)
downloadeclipse.platform.debug-e47e66549a0bb71427340cf043f65862ef21acca.tar.gz
eclipse.platform.debug-e47e66549a0bb71427340cf043f65862ef21acca.tar.xz
eclipse.platform.debug-e47e66549a0bb71427340cf043f65862ef21acca.zip
resource refresh
Diffstat (limited to 'org.eclipse.ui.externaltools/Program Tools Support')
-rw-r--r--org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools/internal/program/launchConfigurations/ProgramLaunchDelegate.java16
1 files changed, 10 insertions, 6 deletions
diff --git a/org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools/internal/program/launchConfigurations/ProgramLaunchDelegate.java b/org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools/internal/program/launchConfigurations/ProgramLaunchDelegate.java
index d57d5646d..e7a351fcc 100644
--- a/org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools/internal/program/launchConfigurations/ProgramLaunchDelegate.java
+++ b/org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools/internal/program/launchConfigurations/ProgramLaunchDelegate.java
@@ -105,7 +105,13 @@ public class ProgramLaunchDelegate implements ILaunchConfigurationDelegate {
process = DebugPlugin.newProcess(launch, p, location.toOSString());
}
- if (!ExternalToolsUtil.isBackground(configuration)) {
+ if (ExternalToolsUtil.isBackground(configuration)) {
+ // refresh resources after process finishes
+ if (ExternalToolsUtil.getRefreshScope(configuration) != null) {
+ BackgroundResourceRefresher refresher = new BackgroundResourceRefresher(configuration, process, resourceContext);
+ refresher.startBackgroundRefresh();
+ }
+ } else {
// wait for process to exit
while (!process.isTerminated()) {
try {
@@ -118,13 +124,11 @@ public class ProgramLaunchDelegate implements ILaunchConfigurationDelegate {
}
}
+ // refresh resources
+ ExternalToolsUtil.refreshResources(configuration, resourceContext, monitor);
}
- // refresh resources
- if (ExternalToolsUtil.getRefreshScope(configuration) != null) {
- BackgroundResourceRefresher refresher = new BackgroundResourceRefresher(configuration, process, resourceContext);
- refresher.startBackgroundRefresh();
- }
+
}
}

Back to the top