rust/hedgewars-server/src/server/io.rs
changeset 15831 7d0f747afcb8
parent 15800 6af892a0a4b8
child 15937 e514ceb5e7d6
--- a/rust/hedgewars-server/src/server/io.rs	Mon Jan 31 18:24:49 2022 +0300
+++ b/rust/hedgewars-server/src/server/io.rs	Tue Feb 01 02:23:35 2022 +0300
@@ -10,7 +10,6 @@
     server::database::Database,
 };
 use log::*;
-use mio::{Poll, Waker};
 
 pub type RequestId = u32;