diff -r df366c5b8440 -r a077aac9df01 rust/hedgewars-server/src/server.rs
--- a/rust/hedgewars-server/src/server.rs	Sat Dec 15 03:07:20 2018 +0100
+++ b/rust/hedgewars-server/src/server.rs	Sun Dec 16 00:09:20 2018 +0100
@@ -6,3 +6,5 @@
 pub mod coretypes;
 mod actions;
 mod handlers;
+#[cfg(feature = "official-server")]
+mod database;