| commit | 56d36e3c6c0ec9b66e549e160cd76ee7de84d750 | [log] [tgz] |
|---|---|---|
| author | Dorian Birsan <dbirsan> | Fri Sep 24 00:28:56 2004 +0000 |
| committer | Dorian Birsan <dbirsan> | Fri Sep 24 00:28:56 2004 +0000 |
| tree | dbb140057f3bca24ebdd6152d893752926f01139 | |
| parent | e549a9d3c981b240058202799ed69dde761e095f [diff] |
bug 74624
diff --git a/update/org.eclipse.update.core/src/org/eclipse/update/internal/core/SiteFilePluginContentConsumer.java b/update/org.eclipse.update.core/src/org/eclipse/update/internal/core/SiteFilePluginContentConsumer.java index 282f53b..af088f6 100644 --- a/update/org.eclipse.update.core/src/org/eclipse/update/internal/core/SiteFilePluginContentConsumer.java +++ b/update/org.eclipse.update.core/src/org/eclipse/update/internal/core/SiteFilePluginContentConsumer.java
@@ -141,6 +141,8 @@ } boolean success = true; + InstallRegistry.unregisterPlugin(pluginEntry); + // delete plugin manifests first for(Iterator it = renames.values().iterator(); it.hasNext();){ String originalName = (String) it.next();