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:
<http://gna.org/patch/?1617>
_______________________________________________
Nachricht geschickt von/durch Gna!
http://gna.org/
_______________________________________________
Freeciv-dev mailing list
[email protected]
https://mail.gna.org/listinfo/freeciv-dev
