mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-28 19:35:36 +02:00
Code Issues Wiki Activity

fixed https://bugs.eclipse.org/bugs/show_bug.cgi?id=56583

Browse source
This commit is contained in:
David Inglis 2004-03-29 17:02:02 +00:00
parent c48f2afafa
commit e888d97cff
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeCorePlugin.java
View file

@ -204,11 +204,11 @@ public class MakeCorePlugin extends Plugin {
} }
public void shutdown() throws CoreException { public void shutdown() throws CoreException {
super.shutdown();
if ( fTargetManager != null) { if ( fTargetManager != null) {
fTargetManager.shutdown(); fTargetManager.shutdown();
fTargetManager = null; fTargetManager = null;
} }
super.shutdown();
} }
/* /*