rust/hedgewars-server/src/server.rs
changeset 14784 f43ab2bd76ae
parent 14697 e5415faa117b
child 15079 c5a6e8566425
--- a/rust/hedgewars-server/src/server.rs	Tue Apr 09 00:45:14 2019 +0200
+++ b/rust/hedgewars-server/src/server.rs	Tue Apr 09 21:08:35 2019 +0300
@@ -6,6 +6,7 @@
 mod database;
 mod handlers;
 pub mod indexslab;
+#[cfg(feature = "official-server")]
 pub mod io;
 pub mod network;
 pub mod room;