gameServer2/src/utils.rs
author Wuzzy <almikes@aol.com>
Sat, 07 Oct 2017 20:07:21 +0200
changeset 12674 bc34fc75670e
parent 12142 193dfdcb0620
child 13421 cdf69667593b
permissions -rw-r--r--
Fix old team name not being removed after renaming team in frontend

use mio;

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