Plugins/VcsPlugins/vcsMercurial/HgClient.py

changeset 1260
9488a3aceb0e
parent 1256
885706dbb69f
child 1261
bb9ce68a0236
diff -r 3f7b55c7dd83 -r 9488a3aceb0e Plugins/VcsPlugins/vcsMercurial/HgClient.py
--- a/Plugins/VcsPlugins/vcsMercurial/HgClient.py	Wed Aug 31 19:48:46 2011 +0200
+++ b/Plugins/VcsPlugins/vcsMercurial/HgClient.py	Thu Sep 01 08:33:53 2011 +0200
@@ -94,6 +94,7 @@
             res = self.__server.waitForFinished(3000)
             if not res:
                 self.__server.kill()
+                self.__server.waitForFinished(3000)
     
     def restartServer(self):
         """

eric ide

mercurial