diff options
| author | Jared Burns | 2003-09-02 21:52:14 +0000 |
|---|---|---|
| committer | Jared Burns | 2003-09-02 21:52:14 +0000 |
| commit | 6fb69f0f8b3fb867dc21d3ea43cf8beffe129794 (patch) | |
| tree | 2edef5346815b09068c07c617be0cb392ddb27ea /org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools | |
| parent | a00d41fa869de92b016075b9cd17a47167183e2e (diff) | |
| download | eclipse.platform.debug-6fb69f0f8b3fb867dc21d3ea43cf8beffe129794.tar.gz eclipse.platform.debug-6fb69f0f8b3fb867dc21d3ea43cf8beffe129794.tar.xz eclipse.platform.debug-6fb69f0f8b3fb867dc21d3ea43cf8beffe129794.zip | |
42020 - Move "Run in background" to builders only
Diffstat (limited to 'org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools')
| -rw-r--r-- | org.eclipse.ui.externaltools/Program Tools Support/org/eclipse/ui/externaltools/internal/program/launchConfigurations/ProgramLaunchDelegate.java | 2 |
1 files changed, 1 insertions, 1 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 96ab9e9ec..879de763e 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 @@ -168,7 +168,7 @@ public class ProgramLaunchDelegate implements ILaunchConfigurationDelegate { } process.setAttribute(IProcess.ATTR_CMDLINE, generateCommandLine(cmdLine)); - if (CommonTab.isRunInBackground(configuration)) { + if (CommonTab.isLaunchInBackground(configuration)) { // refresh resources after process finishes if (LaunchVariableUtil.getRefreshScope(configuration) != null) { BackgroundResourceRefresher refresher = new BackgroundResourceRefresher(configuration, process); |