Fixed an issue deactivating the rope plug-in. server_client_variant

Mon, 16 Oct 2017 19:58:35 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Mon, 16 Oct 2017 19:58:35 +0200
branch
server_client_variant
changeset 222
5771e459f94c
parent 221
b3592afc8718
child 223
d30d3b0d1df5

Fixed an issue deactivating the rope plug-in.

PluginRefactoringRope.py file | annotate | diff | comparison | revisions
PluginRefactoringRope.zip file | annotate | diff | comparison | revisions
--- a/PluginRefactoringRope.py	Mon Oct 16 19:54:41 2017 +0200
+++ b/PluginRefactoringRope.py	Mon Oct 16 19:58:35 2017 +0200
@@ -202,9 +202,11 @@
         """
         Public method to deactivate this plugin.
         """
-        self.__refactoringServer.deactivate()
+        if self.__refactoringServer:
+            self.__refactoringServer.deactivate()
         
-        self.__codeAssistServer.deactivate()
+        if self.__codeAssistServer:
+            self.__codeAssistServer.deactivate()
         
         e5App().getObject("PluginManager").shutdown.disconnect(
             self.__shutdown)
Binary file PluginRefactoringRope.zip has changed

eric ide

mercurial