rust/hedgewars-server/src/server/actions.rs
changeset 14477 a077aac9df01
parent 14436 06672690d71b
child 14478 98ef2913ec73
--- a/rust/hedgewars-server/src/server/actions.rs	Sat Dec 15 03:07:20 2018 +0100
+++ b/rust/hedgewars-server/src/server/actions.rs	Sun Dec 16 00:09:20 2018 +0100
@@ -22,6 +22,9 @@
 };
 use rand::{thread_rng, Rng, distributions::Uniform};
 
+#[cfg(feature = "official-server")]
+use super::database;
+
 pub enum Destination {
     ToId(ClientId),
     ToSelf,