diff -r b3592afc8718 -r 5771e459f94c PluginRefactoringRope.py --- 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)