PluginRefactoringRope.py

branch
server_client_variant
changeset 222
5771e459f94c
parent 217
874115c79ca7
child 228
e76a4991faef
--- 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)

eric ide

mercurial