Plugins/VcsPlugins/vcsMercurial/HgClient.py

changeset 1550
0550f9915d65
parent 1509
c0b5e693b0eb
child 1935
df157512654c
equal deleted inserted replaced
1547:2cfe874dfe42 1550:0550f9915d65
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

eric ide

mercurial