From 90d1ee31761f87db96955474f61f268c541b4cb2 Mon Sep 17 00:00:00 2001 From: Yann Leboulanger Date: Fri, 17 Sep 2010 21:16:17 +0200 Subject: [PATCH] [Dicson] remove plugin entry in global config when removing the plugin. Fixes #5918 --- src/plugins/pluginmanager.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/plugins/pluginmanager.py b/src/plugins/pluginmanager.py index 3560e4985..5328f4b72 100644 --- a/src/plugins/pluginmanager.py +++ b/src/plugins/pluginmanager.py @@ -117,6 +117,9 @@ class PluginManager(object): def _create_plugin_entry_in_global_config(self, plugin): gajim.config.add_per('plugins', plugin.short_name) + def _remove_plugin_entry_in_global_config(self, plugin): + gajim.config.del_per('plugins', plugin.short_name) + @log_calls('PluginManager') def add_plugin(self, plugin_class): ''' @@ -519,6 +522,8 @@ class PluginManager(object): self.deactivate_plugin(plugin) rmtree(plugin.__path__, False, on_error) self.plugins.remove(plugin) + if self._plugin_has_entry_in_global_config(plugin): + self._remove_plugin_entry_in_global_config(plugin) def get_plugin_by_path(self, plugin_dir): for plugin in self.plugins: