Re: (PR#11981) Docs: helpdata.txt: player name vs username

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=11981 >

On Thu, Jan 20, 2005 at 07:21:31AM -0800, Egor Vyscrebentsov wrote:
> 
> No :)
> You can doubt it, but i already have known what 'abbreviate' means :)
> My question was kind of: if first search (for _player_ name) fails, server 
will look for _user_ name?

I don't doubt it. I confirm your suspicion. This is how it works.

> I ask this question because * player != user *.

yes. As much as I hate to admit it, vasc may be right. 
player name == leader name and this is somewhat confusing.

> And messages for user are started with 'J::' rather than 'J:'. (helpdata.txt:555)

except in the above instance, where the server will send to the user if
it _can't_ find a player name and _can_ find a username, then the single
colon will work. 

-mike