Plugins/VcsPlugins/vcsMercurial/HgClient.py

changeset 1260
9488a3aceb0e
parent 1256
885706dbb69f
child 1261
bb9ce68a0236
equal deleted inserted replaced
1259:3f7b55c7dd83 1260:9488a3aceb0e
92 if not res: 92 if not res:
93 self.__server.terminate() 93 self.__server.terminate()
94 res = self.__server.waitForFinished(3000) 94 res = self.__server.waitForFinished(3000)
95 if not res: 95 if not res:
96 self.__server.kill() 96 self.__server.kill()
97 self.__server.waitForFinished(3000)
97 98
98 def restartServer(self): 99 def restartServer(self):
99 """ 100 """
100 Public method to restart the command server. 101 Public method to restart the command server.
101 102

eric ide

mercurial