From def46c6cdb73c98b6bc73d5a4655b95e8442ce2f Mon Sep 17 00:00:00 2001 From: Loic Blot Date: Thu, 8 Mar 2018 23:47:46 +0100 Subject: [PATCH] Drop unused Server::m_ignore_map_edit_events_peer_id --- src/server.h | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/server.h b/src/server.h index bf11f1cca..b90971200 100644 --- a/src/server.h +++ b/src/server.h @@ -619,12 +619,6 @@ private: This is behind m_env_mutex */ VoxelArea m_ignore_map_edit_events_area; - /* - If set to !=0, the incoming MapEditEvents are modified to have - this peed id as the disabled recipient - This is behind m_env_mutex - */ - session_t m_ignore_map_edit_events_peer_id = 0; // media files known to server std::unordered_map m_media; -- 2.25.1