RefactoringRope/JsonServer.py

branch
server_client_variant
changeset 175
72a1d9030d67
parent 168
53d76b4fc1ac
child 189
2711fdd91925
equal deleted inserted replaced
174:04583cac110f 175:72a1d9030d67
190 self.sendJson("Exit", {}, flush=True) 190 self.sendJson("Exit", {}, flush=True)
191 191
192 if self.__connection is not None: 192 if self.__connection is not None:
193 self.__connection.waitForDisconnected() 193 self.__connection.waitForDisconnected()
194 194
195 self.__clientProcess.close() 195 if self.__clientProcess is not None:
196 self.__clientProcess = None 196 self.__clientProcess.close()
197 self.__clientProcess = None

eric ide

mercurial