diff options
author | Bernard Normier <bernard@zeroc.com> | 2008-04-28 19:39:48 -0400 |
---|---|---|
committer | Bernard Normier <bernard@zeroc.com> | 2008-04-28 19:39:48 -0400 |
commit | 8860c54873ce8abb08067dc27233b051d8df964b (patch) | |
tree | 0289ca60a540409c2964a9e8b954354ac0c0303b /cpp/src/Ice/PluginManagerI.cpp | |
parent | Merge branch 'master' of ssh://git/home/git/ice (diff) | |
download | ice-8860c54873ce8abb08067dc27233b051d8df964b.tar.bz2 ice-8860c54873ce8abb08067dc27233b051d8df964b.tar.xz ice-8860c54873ce8abb08067dc27233b051d8df964b.zip |
Fixed plugin cpp/clr bug
Diffstat (limited to 'cpp/src/Ice/PluginManagerI.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 { |