rust/hedgewars-server/src/core/server.rs
changeset 15527 428a0e7da27b
parent 15526 24f692e791d3
child 15529 cc774c6e933e
equal deleted inserted replaced
15526:24f692e791d3 15527:428a0e7da27b
  1030             })
  1030             })
  1031         } else {
  1031         } else {
  1032             None
  1032             None
  1033         }
  1033         }
  1034     }
  1034     }
       
  1035 
       
  1036     pub fn log_engine_msg(&mut self, log_msg: String, sync_msg: Option<Option<String>>) {
       
  1037         if let Some(ref mut info) = self.room_mut().game_info {
       
  1038             if !log_msg.is_empty() {
       
  1039                 info.msg_log.push(log_msg);
       
  1040             }
       
  1041             if let Some(msg) = sync_msg {
       
  1042                 info.sync_msg = msg;
       
  1043             }
       
  1044         }
       
  1045     }
  1035 }
  1046 }
  1036 
  1047 
  1037 fn allocate_room(rooms: &mut Slab<HwRoom>) -> &mut HwRoom {
  1048 fn allocate_room(rooms: &mut Slab<HwRoom>) -> &mut HwRoom {
  1038     let entry = rooms.vacant_entry();
  1049     let entry = rooms.vacant_entry();
  1039     let room = HwRoom::new(entry.key());
  1050     let room = HwRoom::new(entry.key());