96 |
96 |
97 def stopServer(self): |
97 def stopServer(self): |
98 """ |
98 """ |
99 Public method to stop the command server. |
99 Public method to stop the command server. |
100 """ |
100 """ |
101 self.__server.closeWriteChannel() |
101 if self.__server is not None: |
102 res = self.__server.waitForFinished(5000) |
102 self.__server.closeWriteChannel() |
103 if not res: |
103 res = self.__server.waitForFinished(5000) |
104 self.__server.terminate() |
|
105 res = self.__server.waitForFinished(3000) |
|
106 if not res: |
104 if not res: |
107 self.__server.kill() |
105 self.__server.terminate() |
108 self.__server.waitForFinished(3000) |
106 res = self.__server.waitForFinished(3000) |
109 |
107 if not res: |
110 self.__started = False |
108 self.__server.kill() |
111 self.__server.finished.disconnect(self.__serverFinished) |
109 self.__server.waitForFinished(3000) |
112 self.__server = None |
110 |
|
111 self.__started = False |
|
112 self.__server.finished.disconnect(self.__serverFinished) |
|
113 self.__server = None |
113 |
114 |
114 def restartServer(self): |
115 def restartServer(self): |
115 """ |
116 """ |
116 Public method to restart the command server. |
117 Public method to restart the command server. |
117 |
118 |