[Freeciv] Re: info on rules change: city names

[Miguel Farah <miguel@xxxxx>]

 Per I. Mathisen [13/08/2002 20:20] dijo/said:
>
>A new default rule has been added to the cvs version of freeciv (1.13.1).
>
>A player can no longer have two cities with the same name.
>
>This feature can be deactivated or altered through the "set citynames X"
>server option. If set to 0, there are no restrictions (like before). If
>set to 1 (new default), city names have to be unique to a player. If set
>to 2 or 3, city names have to be globally unique. If set to 3, a player
>also isn't allowed to use a default city name of another nation.

May I ask: what happens (for X={1,2,3}) if I build a city called XYZ,
and then another player does the same thing? What if we both build it in
the same turn? What if I conquer the other XYZ? Am I forced to rename
it?