gameServer2/src/utils.rs
author Wuzzy <Wuzzy2@mail.ru>
Fri, 16 Mar 2018 19:05:11 +0100
changeset 13228 d23742ccf92b
parent 12137 193dfdcb0620
child 13416 cdf69667593b
permissions -rw-r--r--
Frontend: Properly “gray out” most disabled widgets (a lot of them weren't)

use mio;

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