[Freeciv-Dev] Re: [PATCH] Renaming cities. (PR#567)

[Erik Sigra <freeciv@xxxxxxx>]

> It's a bit boring if somebody joins and start employing these tactics and
> beat you in the end though? If you are the supreme part and loose due to
> dirty-tricks, it's always boring, so why not include a server setting for
> it... I'd vote for the do not allow multiple cities with the same name,
> random names from server wouldn't be of much use, some people prefer their
> own names, which makes the map easier for them to remember.....

It seems kinda hard to just forbid random names.

Here is a solution that should fix all exploits mentioned until now:
* Let the server decide the official name of each city once and for
  all time. Such names would always be sane.
* Let players assign an alias for each city (friendly as well as
  enemy) that they want to refer to by anoter name.

Note that this solution does not require a new server setting. The input
field that pops up when building a city would not have to be changed. It
would just give the user an option to set his alias, not change the
official name of the city. The same applies to the rename button of
course.