[Freeciv-Dev] Re: (PR#7206) Leader names
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
|
To: |
undisclosed-recipients: ; |
|
Subject: |
[Freeciv-Dev] Re: (PR#7206) Leader names |
|
From: |
"Genevieve Gracian" <ggracian@xxxxxxx> |
|
Date: |
Tue, 6 Jan 2004 07:19:14 -0800 |
|
Reply-to: |
rt@xxxxxxxxxxx |
<URL: http://rt.freeciv.org/Ticket/Display.html?id=7206 >
On Tue, 6 Jan 2004 07:03:05 -0800
"Per I. Mathisen" <per@xxxxxxxxxxx> wrote:
>
> <URL: http://rt.freeciv.org/Ticket/Display.html?id=7206 >
>
> On Tue, 6 Jan 2004, Genevieve Gracian wrote:
> > In recent versions, the leader names are reduced with the 3 first
> > characters (+ possible one space character) after the players choose
>
> Recent versions of 1.14.x or CVS HEAD?
oops, sry. In cvs head.
>
> > Also, several players can set the same leader name.
>
> But this is not new, is it?
In 1.14.0 and 1.14.1, the server answers:
Another player already has the name 'xxx'. Please choose another name.
when trying to set an existing leader name.
--
G. Gracian
|
|
