rust/hedgewars-server/src/server.rs
changeset 14477 a077aac9df01
parent 14436 06672690d71b
child 14478 98ef2913ec73
--- 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;