rust/hedgewars-server/src/main.rs
changeset 15107 80ff12edf5e6
parent 15080 e935b1ad23f3
--- a/rust/hedgewars-server/src/main.rs	Sun Jun 02 22:16:38 2019 +0200
+++ b/rust/hedgewars-server/src/main.rs	Sun Jun 02 23:58:12 2019 +0300
@@ -82,7 +82,7 @@
                         Err(e) => debug!("Error in timer event: {}", e),
                     },
                     #[cfg(feature = "official-server")]
-                    utils::IO_TOKEN => match hw_network.handle_io_result() {
+                    utils::IO_TOKEN => match hw_network.handle_io_result(&poll) {
                         Ok(()) => (),
                         Err(e) => debug!("Error in IO task: {}", e),
                     },