diff options
| author | Andrey Loskutov | 2017-11-27 10:07:50 +0000 |
|---|---|---|
| committer | Andrey Loskutov | 2017-11-27 22:09:20 +0000 |
| commit | e45ddc1659ac0d14714b0b0978ad0b020a4ef2eb (patch) | |
| tree | b4bfcf70b8590c64917b682a7fd2997027510e77 | |
| parent | 203071336f9bc71e199ec1d4e10e791a29f46640 (diff) | |
| download | eclipse.jdt.core-e45ddc1659ac0d14714b0b0978ad0b020a4ef2eb.tar.gz eclipse.jdt.core-e45ddc1659ac0d14714b0b0978ad0b020a4ef2eb.tar.xz eclipse.jdt.core-e45ddc1659ac0d14714b0b0978ad0b020a4ef2eb.zip | |
Bug 527776 - Error in log: "ResourceI20171128-0100I20171127-2000
'/.org.eclipse.jdt.core.external.folders' already exists."
If the project was created already, we do not need to report an error.
Change-Id: I8c805921fe9db88bc7175671b10ecda274b19954
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
| -rw-r--r-- | org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java index 1633475bb0..902b878711 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java +++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/ExternalFoldersManager.java @@ -317,7 +317,14 @@ public class ExternalFoldersManager { IProjectDescription desc = project.getWorkspace().newProjectDescription(project.getName()); IPath stateLocation = JavaCore.getPlugin().getStateLocation(); desc.setLocation(stateLocation.append(EXTERNAL_PROJECT_NAME)); - project.create(desc, IResource.HIDDEN, monitor); + try { + project.create(desc, IResource.HIDDEN, monitor); + } catch (CoreException e) { + // If we managed to create the project in the meantime, don't complain + if (!project.exists()) { + throw e; + } + } } public IFolder getFolder(IPath externalFolderPath) { |