3007:bad2e89047e7 | 3008:7848489bcb92 |
---|---|
103 if not res: | 103 if not res: |
104 self.__server.kill() | 104 self.__server.kill() |
105 self.__server.waitForFinished(3000) | 105 self.__server.waitForFinished(3000) |
106 | 106 |
107 self.__started = False | 107 self.__started = False |
108 ## self.__server.finished.disconnect(self.__serverFinished) | |
109 self.__server.deleteLater() | 108 self.__server.deleteLater() |
110 self.__server = None | 109 self.__server = None |
111 | 110 |
112 def restartServer(self): | 111 def restartServer(self): |
113 """ | 112 """ |