3171 """ |
3171 """ |
3172 Private slot to handle a change of the Mercurial configuration file. |
3172 Private slot to handle a change of the Mercurial configuration file. |
3173 |
3173 |
3174 @param path name of the changed file (string) |
3174 @param path name of the changed file (string) |
3175 """ |
3175 """ |
3176 self.__getExtensionsInfo() |
|
3177 |
|
3178 if self.__client: |
3176 if self.__client: |
3179 ok, err = self.__client.restartServer() |
3177 ok, err = self.__client.restartServer() |
3180 if not ok: |
3178 if not ok: |
3181 E5MessageBox.warning( |
3179 E5MessageBox.warning( |
3182 None, |
3180 None, |
3183 self.trUtf8("Mercurial Command Server"), |
3181 self.trUtf8("Mercurial Command Server"), |
3184 self.trUtf8( |
3182 self.trUtf8( |
3185 """<p>The Mercurial Command Server could not be""" |
3183 """<p>The Mercurial Command Server could not be""" |
3186 """ restarted.</p><p>Reason: {0}</p>""").format(err)) |
3184 """ restarted.</p><p>Reason: {0}</p>""").format(err)) |
3187 self.__client = None |
3185 self.__client = None |
|
3186 |
|
3187 self.__getExtensionsInfo() |
3188 |
3188 |
3189 def __monitorRepoIniFile(self, name): |
3189 def __monitorRepoIniFile(self, name): |
3190 """ |
3190 """ |
3191 Private slot to add a repository configuration file to the list of |
3191 Private slot to add a repository configuration file to the list of |
3192 monitored files. |
3192 monitored files. |