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 {