--- a/RefactoringRope/JsonServer.py Fri Sep 15 19:50:07 2017 +0200 +++ b/RefactoringRope/JsonServer.py Sat Sep 16 16:40:50 2017 +0200 @@ -11,7 +11,7 @@ import json -from PyQt5.QtCore import pyqtSlot, QProcess +from PyQt5.QtCore import pyqtSlot, QProcess, QThread from PyQt5.QtNetwork import QTcpServer, QHostAddress from E5Gui import E5MessageBox @@ -70,7 +70,7 @@ connection.readyRead.connect(self.__receiveJson) connection.disconnected.connect(self.__handleDisconnect) - self.sendJson("ping", {}) + self.sendJson("GetConfig", {}) @pyqtSlot() def __handleDisconnect(self): @@ -91,7 +91,7 @@ data = self.__connection.readLine() jsonLine = bytes(data).decode("utf-8", 'backslashreplace') - print("JSON Server: ", jsonLine) ##debug +## print("JSON Server: ", jsonLine) ##debug try: clientDict = json.loads(jsonLine.strip()) @@ -183,6 +183,10 @@ """ Public method to stop the client process. """ + self.sendJson("Exit", {}) + + QThread.msleep(200) + self.__clientProcess.close() self.__clientProcess = None