rust/hedgewars-server/src/utils.rs
changeset 14803 92225a708bda
parent 14783 b3adc030104b
child 14830 8ddb5842fe0b
equal deleted inserted replaced
14802:a40139603cde 14803:92225a708bda
     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 IO_TOKEN: mio::Token = mio::Token(1_000_000_001);
     7 pub const TIMER_TOKEN: mio::Token = mio::Token(1_000_000_001);
       
     8 pub const IO_TOKEN: mio::Token = mio::Token(1_000_000_002);
     8 
     9 
     9 pub fn is_name_illegal(name: &str) -> bool {
    10 pub fn is_name_illegal(name: &str) -> bool {
    10     name.len() > 40
    11     name.len() > 40
    11         || name.trim().is_empty()
    12         || name.trim().is_empty()
    12         || name.trim() != name
    13         || name.trim() != name