Space Invasion: Continue playing rounds in case the teams are tied at the end
Rules in case of a tie:
1) Eliminate all teams not tied for the lead
2) Play another round with the remaining teams
3) Check for the winner again at the end of that round. If there's another tie, repeat the procedure
cargo-features = ["edition"]
[package]
edition = "2018"
name = "hedgewars-server"
version = "0.0.1"
authors = [ "Andrey Korotaev <a.korotaev@hedgewars.org>" ]
[dependencies]
rand = "0.5"
mio = "0.6"
slab = "0.4"
netbuf = "0.4"
nom = "4.0"
env_logger = "0.4"
log = "0.4"
proptest = "0.8"
base64 = "0.9"
bitflags = "1.0"
serde = "1.0"
serde_yaml = "0.7"
serde_derive = "1.0"