Follow-up Comment #3, patch #1617 (project freeciv):
At the moment an array of 32 players is allocated at the start. So the number
of players is fixed. Perhaps someday the players will be a dynamically
allocated list ...
But you are right. Especially in that case, a player will never be deleted /
removed but only marked as dead.
Reply to this item at:
Nachricht geschickt von/durch Gna!
Freeciv-dev mailing list