mirror of
				https://github.com/luanti-org/luanti.git
				synced 2025-11-04 09:15:29 +01:00 
			
		
		
		
	Drop unused Server::m_ignore_map_edit_events_peer_id
This commit is contained in:
		@@ -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;
 | 
			
		||||
 
 | 
			
		||||
		Reference in New Issue
	
	Block a user