# HG changeset patch
# User alfadur <mail@none>
# Date 1577371149 -10800
# Node ID cc774c6e933e3d0b756e3904e3f34f3ebf05fe6d
# Parent  17ad5d43e820d3a546539f5e58c0c5876eb23532
remove unused em fn

diff -r 17ad5d43e820 -r cc774c6e933e rust/hedgewars-server/src/core/server.rs
--- a/rust/hedgewars-server/src/core/server.rs	Tue Dec 24 22:12:02 2019 +0300
+++ b/rust/hedgewars-server/src/core/server.rs	Thu Dec 26 17:39:09 2019 +0300
@@ -715,10 +715,6 @@
         }
     }
 
-    pub fn add_engine_message(&mut self) {
-        todo!("port from the room handler")
-    }
-
     pub fn toggle_flag(&mut self, flags: super::room::RoomFlags) -> bool {
         let (client, room) = self.get_mut();
         if client.is_master() {