gameServer2/src/utils.rs
author Wuzzy <Wuzzy2@mail.ru>
Tue, 17 Jul 2018 12:17:11 +0200
branch0.9.24
changeset 13589 4acd189a563e
parent 12137 193dfdcb0620
child 13416 cdf69667593b
permissions -rw-r--r--
Fix video recorder not working if sound disabled (fixes bug #200)

use mio;

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