copyleftie/gajim-plural
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

[Dicson] remove plugin entry in global config when removing the plugin. Fixes #5918

Browse source
This commit is contained in:
Yann Leboulanger 2010-09-17 21:16:17 +02:00
parent 0899ab13db
commit 90d1ee3176
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/plugins/pluginmanager.py
View file

@ -117,6 +117,9 @@ class PluginManager(object):
def _create_plugin_entry_in_global_config(self, plugin): def _create_plugin_entry_in_global_config(self, plugin):
gajim.config.add_per('plugins', plugin.short_name) 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') @log_calls('PluginManager')
def add_plugin(self, plugin_class): def add_plugin(self, plugin_class):
''' '''
@ -519,6 +522,8 @@ class PluginManager(object):
self.deactivate_plugin(plugin) self.deactivate_plugin(plugin)
rmtree(plugin.__path__, False, on_error) rmtree(plugin.__path__, False, on_error)
self.plugins.remove(plugin) 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): def get_plugin_by_path(self, plugin_dir):
for plugin in self.plugins: for plugin in self.plugins: