Drop unused Server::m_ignore_map_edit_events_peer_id

diff --git a/src/server.h b/src/server.h
index bf11f1cca3e8c02bccb47d4b9804620fec6d21d4..b9097120009329d132f0d2c536adca734621711f 100644 (file)
--- 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;