diff options
Diffstat (limited to 'java/src/Ice/PluginManagerI.java')
| -rw-r--r-- | java/src/Ice/PluginManagerI.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/java/src/Ice/PluginManagerI.java b/java/src/Ice/PluginManagerI.java index bf7a7e75c1c..e97444bc412 100644 --- a/java/src/Ice/PluginManagerI.java +++ b/java/src/Ice/PluginManagerI.java @@ -205,6 +205,11 @@ public final class PluginManagerI implements PluginManager name = name.substring(0, dotPos); loadPlugin(name, entry.getValue(), cmdArgs, false); p.remove(); + + // + // Don't want to load this one if it's there! + // + plugins.remove("Ice.Plugin." + name); } else { |