diff options
| author | Darin Swanson | 2006-02-07 00:03:53 +0000 |
|---|---|---|
| committer | Darin Swanson | 2006-02-07 00:03:53 +0000 |
| commit | c6989eb8b05fa3be0c138e5b9833c6e5b957e94e (patch) | |
| tree | 837994c16d7beab5a35cf929bacb84daf0974aa7 /org.eclipse.ui.externaltools | |
| parent | c21322bb83c183f2fdde2850af63edb7e69fcfb5 (diff) | |
| download | eclipse.platform.debug-c6989eb8b05fa3be0c138e5b9833c6e5b957e94e.tar.gz eclipse.platform.debug-c6989eb8b05fa3be0c138e5b9833c6e5b957e94e.tar.xz eclipse.platform.debug-c6989eb8b05fa3be0c138e5b9833c6e5b957e94e.zip | |
correctly bail on the exception
Diffstat (limited to 'org.eclipse.ui.externaltools')
| -rw-r--r-- | org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java b/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java index 542d80e2d..a81feea40 100644 --- a/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java +++ b/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/BuilderPropertyPage.java @@ -200,6 +200,7 @@ public final class BuilderPropertyPage extends PropertyPage implements ICheckSta commands = project.getDescription().getBuildSpec(); } catch (CoreException e) { handleException(e); + return; } boolean projectNeedsMigration= false; @@ -354,7 +355,7 @@ public final class BuilderPropertyPage extends PropertyPage implements ICheckSta } /** - * Turns autobuilding on or off in the workspace. + * Turns auto-building on or off in the workspace. */ private void setAutobuild(boolean newState) throws CoreException { IWorkspace workspace= ResourcesPlugin.getWorkspace(); |