rust/hedgewars-server/src/utils.rs
changeset 14851 8ddb5842fe0b
parent 14824 92225a708bda
child 15047 a479916799ea
--- a/rust/hedgewars-server/src/utils.rs	Tue Apr 23 15:54:06 2019 +0200
+++ b/rust/hedgewars-server/src/utils.rs	Wed Apr 24 16:21:46 2019 +0300
@@ -4,8 +4,9 @@
 
 pub const SERVER_VERSION: u32 = 3;
 pub const SERVER_TOKEN: mio::Token = mio::Token(1_000_000_000);
-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 const SECURE_SERVER_TOKEN: mio::Token = mio::Token(1_000_000_001);
+pub const TIMER_TOKEN: mio::Token = mio::Token(1_000_000_002);
+pub const IO_TOKEN: mio::Token = mio::Token(1_000_000_003);
 
 pub fn is_name_illegal(name: &str) -> bool {
     name.len() > 40