fix plugins on restart

2007-11-17 09:15:08 +00:00 · 2007-11-17 09:15:08 +00:00 · de8b55c9ed
parent 85f9b8bf41
commit de8b55c9ed
1 changed files with 4 additions and 1 deletions
--- a/src/plugins.py
+++ b/src/plugins.py
@ -122,7 +122,10 @@ class PluginManager:

    def shutdown_all_plugins(self):
        for name in self.enabled_plugins.keys():
-            self.disable_plugin(name)
+            plugin = self.enabled_plugins[name]
+            if 'unload' in dir(plugin):
+                plugin.unload()
+            del self.enabled_plugins[name]
        self.enabled_plugins.clear()