From: Loic Blot <loic.blot@unix-experience.fr>
Date: Thu, 8 Mar 2018 22:47:46 +0000 (+0100)
Subject: Drop unused Server::m_ignore_map_edit_events_peer_id
X-Git-Tag: 5.0.0~538
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=def46c6cdb73c98b6bc73d5a4655b95e8442ce2f;p=oweals%2Fminetest.git

Drop unused Server::m_ignore_map_edit_events_peer_id
---

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<std::string, MediaInfo> m_media;