[Freeciv-Dev] patch: connection.player (PR#448)

[David Pfitzner <dwp@xxxxxxxxxxxxxx>]

This patch changes the (char *player) field in the connection 
struct (previously unused except to set to NULL) to a 
(struct player *player), and adds code to keep it up-to-date 
as connections are made and lost/removed in the server 
(it is not used in the client).  

This allows some code simplications also included in the patch,
where we no longer need to scan the players array to find the
player given a connection.  (There is also some related cleanup
using pplayer instead of game.players[player_no].)

This patch goes on top of connection_module1.diff:
  http://www.freeciv.org/cgi-bin/bugs?findid=447    
(or easy to back-port).

-- David

conn_player1.diff.gz
Description: GNU Zip compressed data