rust/hedgewars-server/src/utils.rs
changeset 15800 6af892a0a4b8
parent 15444 c03b2e263488
child 15810 ee84e417d8d0
--- a/rust/hedgewars-server/src/utils.rs	Mon Jun 21 20:11:22 2021 +0300
+++ b/rust/hedgewars-server/src/utils.rs	Tue Jun 22 01:41:33 2021 +0300
@@ -5,7 +5,6 @@
 pub const SERVER_VERSION: u32 = 3;
 pub const SERVER_TOKEN: mio::Token = mio::Token(1_000_000_000);
 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 {