rust/hedgewars-server/src/utils.rs
changeset 14808 92225a708bda
parent 14788 b3adc030104b
child 14835 8ddb5842fe0b
--- a/rust/hedgewars-server/src/utils.rs	Sat Apr 13 00:37:35 2019 +0300
+++ b/rust/hedgewars-server/src/utils.rs	Mon Apr 15 21:22:51 2019 +0300
@@ -4,7 +4,8 @@
 
 pub const SERVER_VERSION: u32 = 3;
 pub const SERVER_TOKEN: mio::Token = mio::Token(1_000_000_000);
-pub const IO_TOKEN: mio::Token = mio::Token(1_000_000_001);
+pub const TIMER_TOKEN: mio::Token = mio::Token(1_000_000_001);
+pub const IO_TOKEN: mio::Token = mio::Token(1_000_000_002);
 
 pub fn is_name_illegal(name: &str) -> bool {
     name.len() > 40