From a98baef5e4fedca36c8c8755ad7c8233469f6a3f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Blot?= Date: Sun, 4 Jun 2017 21:00:04 +0200 Subject: C++11 patchset 2: remove util/cpp11.h and util/cpp11_container.h (#5821) --- src/server.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/server.h') diff --git a/src/server.h b/src/server.h index 2e735e77c..935be5f95 100644 --- a/src/server.h +++ b/src/server.h @@ -135,7 +135,7 @@ struct ServerPlayingSound { ServerSoundParams params; SimpleSoundSpec spec; - UNORDERED_SET clients; // peer ids + std::unordered_set clients; // peer ids }; class Server : public con::PeerHandler, public MapEventReceiver, @@ -653,12 +653,12 @@ private: u16 m_ignore_map_edit_events_peer_id; // media files known to server - UNORDERED_MAP m_media; + std::unordered_map m_media; /* Sounds */ - UNORDERED_MAP m_playing_sounds; + std::unordered_map m_playing_sounds; s32 m_next_sound_id; /* @@ -669,7 +669,7 @@ private: // value = "" (visible to all players) or player name std::map m_detached_inventories_player; - UNORDERED_MAP m_mod_storages; + std::unordered_map m_mod_storages; float m_mod_storage_save_timer; DISABLE_CLASS_COPY(Server); -- cgit v1.2.3