mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

fixed NPE

Browse source
This commit is contained in:
David Inglis 2004-06-21 17:49:20 +00:00
parent d537a34599
commit 515919579d
1 changed files with 9 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsoleManager.java
View file

@ -132,6 +132,7 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang
if (resource != null && resource.getType() == IResource.PROJECT) { if (resource != null && resource.getType() == IResource.PROJECT) {
if (event.getType() == IResourceChangeEvent.PRE_DELETE || event.getType() == IResourceChangeEvent.PRE_CLOSE) { if (event.getType() == IResourceChangeEvent.PRE_DELETE || event.getType() == IResourceChangeEvent.PRE_CLOSE) {
IDocumentPartitioner partioner = (IDocumentPartitioner)fConsoleMap.remove(resource); IDocumentPartitioner partioner = (IDocumentPartitioner)fConsoleMap.remove(resource);
if (partioner != null) {
partioner.disconnect(); partioner.disconnect();
Object[] list = listeners.getListeners(); Object[] list = listeners.getListeners();
if (list.length > 0) { if (list.length > 0) {
@ -144,6 +145,7 @@ public class BuildConsoleManager implements IBuildConsoleManager, IResourceChang
} }
} }
} }
}
public void shutdown() { public void shutdown() {
if (infoColor != null) { if (infoColor != null) {