RefactoringRope/JsonServer.py

branch
server_client_variant
changeset 175
72a1d9030d67
parent 168
53d76b4fc1ac
child 189
2711fdd91925
--- a/RefactoringRope/JsonServer.py	Tue Sep 19 19:40:18 2017 +0200
+++ b/RefactoringRope/JsonServer.py	Wed Sep 20 19:49:26 2017 +0200
@@ -192,5 +192,6 @@
         if self.__connection is not None:
             self.__connection.waitForDisconnected()
         
-        self.__clientProcess.close()
-        self.__clientProcess = None
+        if self.__clientProcess is not None:
+            self.__clientProcess.close()
+            self.__clientProcess = None

eric ide

mercurial