[Freeciv-Dev] Re: (PR#12927) RFC: rename pplayer->player_no

["Benoit Hudson" <bh@xxxxxxxxxxxxxxxxxxx>]

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

On Thu, Apr 28, 2005 at 01:21:15PM -0700, Jason Short wrote:
> Aside from the insane hugeness such a patch might take, does anyone
> object to this?  One possible argument you could make is that they
> should all be called "id".

I vote for 'id' ; I don't care about player_no.  I don't think it's
really worth it but it's a very simple insane hugeness since presumably
that's the only place where player_no is used.

        -- Benoît