Battalion (mode=king): Kill the team when the king died instea of dismissing DismissTeam causes a lot of problems and is not suited for multiplayer. The team is not dismissed if the team is still active. It's hard to properly do a tie. And, and, and …

use mio;

pub const PROTOCOL_VERSION : u32 = 3;
pub const SERVER: mio::Token = mio::Token(1000000000 + 0);