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
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev

Reply via email to