[Freeciv-Dev] (PR#13776) Deleting a player does not make their nation available

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

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

> [dmstewart@xxxxxxxxx - Thu Aug 25 11:00:56 2005]:
> 
> Assign a nation to a player.  That nation will of course be
> unavailable to other players.
> 
> Then remove the player (either with aifill or /remove).  
> Their nation should become available again, but it doesn't.  
> You have to quit and restart the server to get it back.
> 
> CVS 20050825 GTK+

I guess the pnation->used value should be changed into a pnation->player
player pointer.  This would allow easy detection of when a nation is no
longer used.

-jason