wms: check for name collision of user defined server and default server

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@59328 15284696-431f-4ddb-bdfa-cd5b030d7da7

gui/wxpython/web_services/widgets.py

@@ -1092,6 +1092,11 @@ class WSManageSettingsWidget(ManageSettingsWidget):
         for k, v in self.default_servers.iteritems():
             if k not in setts.iterkeys():
                 self.servers_to_add[k] = v
+            elif v != setts[k]:
+                GMessage(parent=self,
+                         message=_("There exists user defined server with same name "
+                                   "as a default server <%s>.\n"
+                                   "The user defined server was not overwritten.") % (k))
 
         if self.servers_to_add:
             self.AddSettings(self.servers_to_add)