mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-01 14:15:23 +02:00
Code Issues Wiki Activity

unregister the CModelManager to the workspace listener

Browse source
This commit is contained in:
Alain Magloire 2003-06-19 17:51:36 +00:00
parent e78cfa658a
commit 8a74bc73e9
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/model/CModelManager.java
View file

@ -745,6 +745,8 @@ public class CModelManager implements IResourceChangeListener {
*/
public void shutdown() {
// Do any shutdown of services.
ResourcesPlugin.getWorkspace().removeResourceChangeListener(factory);
BinaryRunner[] runners = (BinaryRunner[])binaryRunners.values().toArray(new BinaryRunner[0]);
for (int i = 0; i < runners.length; i++) {
if (runners[i].isAlive()) {