[Freeciv-Dev] civil war can create too many players

[Jeff Mallatt <jjm@xxxxxxxxxxxx>]

I was watching an all-AI game, when suddenly there were 15 non-barbarian
players!  This causes an overflow in, at least, the Players dialog.  I
surmised that the extra player cam from a civil war.  Looking at the civil
war code, it seemed obvious that such could happen.

So, here is a patch which I believe corrects this problem.

civil-war-overflow-0.diff.gz
Description: Binary data

jjm