rust/hedgewars-server/src/main.rs
changeset 15102 80ff12edf5e6
parent 15075 e935b1ad23f3
child 15795 40929af15167
equal deleted inserted replaced
15101:f772013867e7 15102:80ff12edf5e6
    80                     utils::TIMER_TOKEN => match hw_network.handle_timeout(&poll) {
    80                     utils::TIMER_TOKEN => match hw_network.handle_timeout(&poll) {
    81                         Ok(()) => (),
    81                         Ok(()) => (),
    82                         Err(e) => debug!("Error in timer event: {}", e),
    82                         Err(e) => debug!("Error in timer event: {}", e),
    83                     },
    83                     },
    84                     #[cfg(feature = "official-server")]
    84                     #[cfg(feature = "official-server")]
    85                     utils::IO_TOKEN => match hw_network.handle_io_result() {
    85                     utils::IO_TOKEN => match hw_network.handle_io_result(&poll) {
    86                         Ok(()) => (),
    86                         Ok(()) => (),
    87                         Err(e) => debug!("Error in IO task: {}", e),
    87                         Err(e) => debug!("Error in IO task: {}", e),
    88                     },
    88                     },
    89                     Token(token) => match hw_network.client_readable(&poll, token) {
    89                     Token(token) => match hw_network.client_readable(&poll, token) {
    90                         Ok(()) => (),
    90                         Ok(()) => (),