rust/hedgewars-server/src/utils.rs
changeset 14830 8ddb5842fe0b
parent 14803 92225a708bda
child 15026 a479916799ea
equal deleted inserted replaced
14829:f56936207a65 14830:8ddb5842fe0b
     2 use mio;
     2 use mio;
     3 use std::iter::Iterator;
     3 use std::iter::Iterator;
     4 
     4 
     5 pub const SERVER_VERSION: u32 = 3;
     5 pub const SERVER_VERSION: u32 = 3;
     6 pub const SERVER_TOKEN: mio::Token = mio::Token(1_000_000_000);
     6 pub const SERVER_TOKEN: mio::Token = mio::Token(1_000_000_000);
     7 pub const TIMER_TOKEN: mio::Token = mio::Token(1_000_000_001);
     7 pub const SECURE_SERVER_TOKEN: mio::Token = mio::Token(1_000_000_001);
     8 pub const IO_TOKEN: mio::Token = mio::Token(1_000_000_002);
     8 pub const TIMER_TOKEN: mio::Token = mio::Token(1_000_000_002);
       
     9 pub const IO_TOKEN: mio::Token = mio::Token(1_000_000_003);
     9 
    10 
    10 pub fn is_name_illegal(name: &str) -> bool {
    11 pub fn is_name_illegal(name: &str) -> bool {
    11     name.len() > 40
    12     name.len() > 40
    12         || name.trim().is_empty()
    13         || name.trim().is_empty()
    13         || name.trim() != name
    14         || name.trim() != name