Skip to content
Commit 90768a71 authored by Alexander Schuch's avatar Alexander Schuch Committed by Nemanja Hiršl
Browse files

The game will never end if none of the players has any planets. This 

patch makes sure that the game can only be started if all non-spectator
players do have at least one planet.

Some internal variables are renamed to make the name match their
content/purpose much better.

REVIEW:113446
BUG:319808
FIXED-IN:4.12.1
parent 400ae70d
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment