Plugins/VcsPlugins/vcsMercurial/hg.py

changeset 3305
cf4f22a19dc6
parent 3302
e92f0dd51979
child 3306
0a4e5082cbc6
equal deleted inserted replaced
3304:505055151390 3305:cf4f22a19dc6
3241 """ 3241 """
3242 Private slot to handle a change of the Mercurial configuration file. 3242 Private slot to handle a change of the Mercurial configuration file.
3243 3243
3244 @param path name of the changed file (string) 3244 @param path name of the changed file (string)
3245 """ 3245 """
3246 self.__getExtensionsInfo()
3247
3248 if self.__client: 3246 if self.__client:
3249 ok, err = self.__client.restartServer() 3247 ok, err = self.__client.restartServer()
3250 if not ok: 3248 if not ok:
3251 E5MessageBox.warning( 3249 E5MessageBox.warning(
3252 None, 3250 None,
3253 self.tr("Mercurial Command Server"), 3251 self.tr("Mercurial Command Server"),
3254 self.tr( 3252 self.tr(
3255 """<p>The Mercurial Command Server could not be""" 3253 """<p>The Mercurial Command Server could not be"""
3256 """ restarted.</p><p>Reason: {0}</p>""").format(err)) 3254 """ restarted.</p><p>Reason: {0}</p>""").format(err))
3257 self.__client = None 3255 self.__client = None
3256
3257 self.__getExtensionsInfo()
3258 3258
3259 if self.__repoIniFile and path == self.__repoIniFile: 3259 if self.__repoIniFile and path == self.__repoIniFile:
3260 self.__checkDefaults() 3260 self.__checkDefaults()
3261 3261
3262 def __monitorRepoIniFile(self, name): 3262 def __monitorRepoIniFile(self, name):

eric ide

mercurial