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,