From de8b55c9ed1ac51486b764aa3423024398808b0c Mon Sep 17 00:00:00 2001
From: Marcos Pinto <markybob@dipconsultants.com>
Date: Sat, 17 Nov 2007 09:15:08 +0000
Subject: [PATCH] fix plugins on restart

---
 src/plugins.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/plugins.py b/src/plugins.py
index 822e5fbe2..468fc6072 100644
--- 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()