commit | 1634f36211c7d2cabdcd91bc60958ce07848b476 | [log] [tgz] |
---|---|---|
author | GianMaria Romanato <gm.romanato@gmail.com> | Sat Feb 04 16:06:49 2017 +0100 |
committer | GianMaria Romanato <gm.romanato@gmail.com> | Sat Feb 04 16:06:49 2017 +0100 |
tree | af4ccef6dabe4031f642ad94a90eae4dd65220aa | |
parent | ea7cacf16a5f8b9b1e1e87821a77667b29b4adb3 [diff] |
#511687: ResourceException below ServerProject.deleteWorkspaceProject (thrown in Resource.delete) Add null check to prevent NPE. Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=511687