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): |