diff options
Diffstat (limited to 'cpp')
| -rw-r--r-- | cpp/src/Ice/PluginManagerI.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpp/src/Ice/PluginManagerI.cpp b/cpp/src/Ice/PluginManagerI.cpp index 9dc03d892fe..5c685b6c3bd 100644 --- a/cpp/src/Ice/PluginManagerI.cpp +++ b/cpp/src/Ice/PluginManagerI.cpp @@ -223,6 +223,8 @@ Ice::PluginManagerI::loadPlugins(int& argc, char* argv[]) name = name.substr(0, dotPos); loadPlugin(name, p->second, cmdArgs); plugins.erase(p); + + plugins.erase("Ice.Plugin." + name); } else { |